openocd: Fix handling of Ctrl-C in gdb
When gdb received Ctrl-C which is quite likely upon exiting
this signal was passed to openocd.sh causing it's early termination.
This in turn left openocd in background.
Now Ctrl-C is handled in gdb is not seen in shell script.
@@ -112,7 +112,9 @@ openocd_debug () {
FILE_NAME=`echo $FILE_NAME | sed 's/\//\\\\/g'`
$COMSPEC /C "start $COMSPEC /C $GDB -x $GDB_CMD_FILE $FILE_NAME"
else
+ set -m
$GDB -x $GDB_CMD_FILE $FILE_NAME
+ set +m
rm $GDB_CMD_FILE
sleep 1
if [ -d /proc/$openocdpid ] ; then
