Gaëtan Harter 7306dbd382 boards/tools: remove exporting DEBUG* ... DEBUGGER/DEBUGGER_FLAGS/DEBUGSERVER/DEBUGSERVER_FLAGS are evaluated by the main Makefile.include or by file included by it. Their value does not need to be exported. Testing ------- `git diff --word-diff` only reports `export` being removed. `git show --stat` reports `55 insertions(+), 55 deletions(-)` Which is the same amount as lines that where matching `export[[:blank::]]\+VARIABLE`.		2019-05-28 09:58:35 +02:00
..
dist	boards/flash.sh: rename HEXFILE to BINFILE	2018-11-26 16:39:11 +01:00
include	boards/remote: use port names in UART config	2018-03-02 09:08:28 +01:00
Makefile	boards/remote: move shared code to common/remote	2017-11-30 10:26:35 +01:00
Makefile.dep	boards/remote: move shared code to common/remote	2017-11-30 10:26:35 +01:00
Makefile.include	boards/tools: remove exporting DEBUG*	2019-05-28 09:58:35 +02:00