Skip to content
Snippets Groups Projects
Commit 89fa4da4 authored by Francisco Acosta's avatar Francisco Acosta
Browse files

dist/tools/jlink: remove duplicated check

parent f0cf15ec
No related branches found
No related tags found
No related merge requests found
...@@ -66,12 +66,6 @@ _JLINK_TERMFLAGS="-ts 19021" ...@@ -66,12 +66,6 @@ _JLINK_TERMFLAGS="-ts 19021"
# a couple of tests for certain configuration options # a couple of tests for certain configuration options
# #
test_config() { test_config() {
if [ -z "${HEXFILE}" ]; then
echo "no hexfile"
else
echo "HEXFILE found"
fi
if [ -z "${JLINK}" ]; then if [ -z "${JLINK}" ]; then
JLINK=${_JLINK} JLINK=${_JLINK}
fi fi
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment