openocd script fix wrong indentation
@@ -101,6 +101,7 @@ openocd_debug () {
if [ ! -z "$RESET" ]; then
echo "mon reset halt" >> $GDB_CMD_FILE
fi
+
echo "$EXTRA_GDB_CMDS" >> $GDB_CMD_FILE
if [ $WINDOWS -eq 1 ]; then
