-echo "#! /usr/bin/env bash">$BUILDSHELL_DEBUG_CMD
-echo "# Modify next line and set destination drive to match mbed device">>$BUILDSHELL_DEBUG_CMD
-echo "export LPC_DEPLOY='cp PROJECT.bin /media/MBED/ ; sync'">>$BUILDSHELL_DEBUG_CMD
-echo>>$BUILDSHELL_DEBUG_CMD
-echo "SCRIPT_PATH=\$0">>$BUILDSHELL_DEBUG_CMD
-echo "SCRIPT_PATH=\${SCRIPT_PATH%/*}">>$BUILDSHELL_DEBUG_CMD
-echo "cd \$SCRIPT_PATH">>$BUILDSHELL_DEBUG_CMD
-echo "SCRIPT_PATH=\$PWD">>$BUILDSHELL_DEBUG_CMD
-echo "export PATH=\$SCRIPT_PATH/gcc-arm-none-eabi/bin:\$PATH">>$BUILDSHELL_DEBUG_CMD
-echo "export GCC4MBED_TYPE=Debug">>$BUILDSHELL_DEBUG_CMD
-echo "exec bash">>$BUILDSHELL_DEBUG_CMD
-chmod +x $BUILDSHELL_DEBUG_CMD
-
-# Place arm-none-eabi-* tools in the path before building gcc4mbed code.
-PATH=$GCC4ARM_BINDIR:$PATH
-
-echo Performing a clean build of the gcc4mbed samples...
-RunAndLog $OUR_MAKE clean
-RunAndLog $OUR_MAKE
-