openocd script remove unused file
@@ -102,7 +102,6 @@ openocd_debug () {
echo "mon reset halt" >> $GDB_CMD_FILE
fi
echo "$EXTRA_GDB_CMDS" >> $GDB_CMD_FILE
- echo "FILENAME" $FILE_NAME >>out
if [ $WINDOWS -eq 1 ]; then
FILE_NAME=`echo $FILE_NAME | sed 's/\//\\\\/g'`
