1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-01-17 05:32:45 +01:00

makefiles/info-global.inc.mk: reset BOARDSDIR

This commit is contained in:
Francisco Molina 2020-01-24 18:08:59 +01:00
parent 618919bb17
commit dd8e9ae627
No known key found for this signature in database
GPG Key ID: 3E94EAC3DBDEEDA8

View File

@ -108,3 +108,7 @@ info-boards-supported:
info-boards-features-missing:
@for f in $(BOARDS_FEATURES_MISSING); do echo $${f}; done | column -t
# Reset BOARDSDIR so unchanged for makefiles included after, for now only
# needed for buildtests.inc.mk
BOARDSDIR := $(BOARDSDIR_GLOBAL)