diff --git a/dist/tools/jlink/jlink.sh b/dist/tools/jlink/jlink.sh index 394d41d561..7635c74f4e 100755 --- a/dist/tools/jlink/jlink.sh +++ b/dist/tools/jlink/jlink.sh @@ -157,7 +157,9 @@ test_term() { test_version() { JLINK_MINIMUM_VERSION="6.74" - JLINK_VERSION=$(echo q | "$JLINK" 2> /dev/null | grep "^DLL version*" | grep -oP "\d+\.\d+") + # Adding '-nogui 1' will simply return 'Unknown command line option -nogui' + # on older versions, JLINK_VERSION will still be parsed correctly. + JLINK_VERSION=$(echo q | "${JLINK}" -nogui 1 2> /dev/null | grep "^DLL version*" | grep -oE "[0-9]+\.[0-9]+") if [ $? -ne 0 ]; then echo "Error: J-Link appears not to be installed on your PATH"