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
..
include	Merge pull request #8516 from jia200x/wiki_dox_convertion	2018-08-07 13:27:04 +02:00
board.c	boards/nz32-sc151: initial support	2017-05-13 20:00:42 +02:00
doc.txt	Documentation: fix dead links	2019-02-12 10:46:15 +01:00
Makefile	boards/nz32-sc151: initial support	2017-05-13 20:00:42 +02:00
Makefile.dep	boards/nz32-sc151: initial support	2017-05-13 20:00:42 +02:00
Makefile.features	boards/stm32based: remove periph_gpio/irq from board level	2018-12-18 21:51:14 +01:00
Makefile.include	boards/tools: remove exporting DEBUG*	2019-05-28 09:58:35 +02:00