From 89fa4da4c30cdf1aa2f64c03bd21c028c7c8c14a Mon Sep 17 00:00:00 2001
From: Francisco Acosta <fco.ja.ac@gmail.com>
Date: Thu, 6 Sep 2018 12:06:42 +0200
Subject: [PATCH] dist/tools/jlink: remove duplicated check
---
dist/tools/jlink/jlink.sh | 6 ------
1 file changed, 6 deletions(-)
diff --git a/dist/tools/jlink/jlink.sh b/dist/tools/jlink/jlink.sh
index 5a278a6150..dd52e4f156 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
--
GitLab