From 8d3b7a28fcce51e2b1a775ab43f55bc6a6db2ae3 Mon Sep 17 00:00:00 2001 From: Kaspar Schleiser <kaspar@schleiser.de> Date: Thu, 18 May 2017 12:09:40 +0200 Subject: [PATCH] makefiles: openocd.inc.mk: make FLASHER overridable --- makefiles/tools/openocd.inc.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/makefiles/tools/openocd.inc.mk b/makefiles/tools/openocd.inc.mk index 1f836ea033..f2b694115f 100644 --- a/makefiles/tools/openocd.inc.mk +++ b/makefiles/tools/openocd.inc.mk @@ -1,4 +1,4 @@ -export FLASHER = $(RIOTBASE)/dist/tools/openocd/openocd.sh +export FLASHER ?= $(RIOTBASE)/dist/tools/openocd/openocd.sh export DEBUGGER = $(RIOTBASE)/dist/tools/openocd/openocd.sh export DEBUGSERVER = $(RIOTBASE)/dist/tools/openocd/openocd.sh export RESET = $(RIOTBASE)/dist/tools/openocd/openocd.sh -- GitLab