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
..
2018-09-03 09:01:42 +02:00
2017-11-07 19:08:44 +01:00