#!/bin/bash
script=`readlink -f $BASH_SOURCE`
if [ `arch` != 'i686' ] ; then exec schroot -p -- "$script" "$@" ; fi
debuggerBinPath='/usr/local/lpcxpresso_4.1.0_164/lpcxpresso/bin'
debugger="$1" ; shift ;
# Reattach the LPC Link USB debugger, if required
# See http://support.code-red-tech.com/CodeRedWiki/LPCLinkDiagnostics
dfuDevices=`"$debuggerBinPath"/dfu-util -l`
if [ "${dfuDevices/0x0471:0xdf55/found it}" != "$dfuDevices" ] ; then
"$debuggerBinPath"/dfu-util -d 0x471:0xdf55 -c 0 -t 2048 -R -D "$debuggerBinPath"/LPCXpressoWIN.enc
sleep 1
fi
# Start the debugger backend
exec "$debuggerBinPath"/"$debugger" "$@" |