Whack shell scripts to work on Debian Jessie too.

1 files changed, 5 insertions, 1 deletions

diff --git a/bin/debug b/bin/debug
index f87a3b5..14f3fa6 100755
--- a/bin/debug
+++ b/bin/debug
@@ -6,7 +6,11 @@ OPENOCD=openocd
 OPENOCD_BOARD_DIR=/usr/share/openocd/scripts/board
 OPENOCD_PROC_FILE=stm32f4discovery.cfg
 if [ "x`lsusb -d 0483:374b`" != "x" ]; then
-    OPENOCD_PROC_FILE=st_nucleo_f4.cfg
+    for fn in st_nucleo_f4.cfg st_nucleo_f401re.cfg; do
+        if [ -f "$OPENOCD_BOARD_DIR/$fn" ]; then
+	    OPENOCD_PROC_FILE="$fn"
+	fi
+    done
 fi
 $OPENOCD -f $OPENOCD_BOARD_DIR/$OPENOCD_PROC_FILE &