diff --git a/dist/tools/jlink/jlink.sh b/dist/tools/jlink/jlink.sh index 5a278a61501d0070343b64610e8ea1f731028fc5..dd52e4f156618c0000d85d3497c383d0e4704c07 100755 --- a/dist/tools/jlink/jlink.sh +++ b/dist/tools/jlink/jlink.sh @@ -66,12 +66,6 @@ _JLINK_TERMFLAGS="-ts 19021" # a couple of tests for certain configuration options # test_config() { - if [ -z "${HEXFILE}" ]; then - echo "no hexfile" - else - echo "HEXFILE found" - fi - if [ -z "${JLINK}" ]; then JLINK=${_JLINK} fi