1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-12-25 14:33:52 +01:00

Merge pull request #13200 from fjmolinas/pr_buildtests_boardsdir

makefiles/info-global.inc.mk: reset BOARDSDIR
This commit is contained in:
Kaspar Schleiser 2020-02-11 16:51:03 +01:00 committed by GitHub
commit 986ff50b75
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

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)