RIOT-OS/RIOT
RIOT-OS/RIOT
1
0
Fork 0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-28 23:49:47 +01:00
Code Releases Activity

Make: default to docker with generate-Makefile.ci

Browse Source
This commit is contained in:
Koen Zandberg 2023-02-04 16:53:49 +01:00
parent 820a895684
commit df18af5195
No known key found for this signature in database
GPG Key ID: 0895A893E6D2985B
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
makefiles/info-global.inc.mk
View File

@ -150,7 +150,7 @@ info-boards-features-conflicting:
@for f in $(BOARDS_FEATURES_CONFLICTING); do echo $${f}; done | column -t
generate-Makefile.ci:
@$(RIOTTOOLS)/insufficient_memory/create_makefile.ci.sh --no-docker
@$(RIOTTOOLS)/insufficient_memory/create_makefile.ci.sh
# Reset BOARDSDIR so unchanged for makefiles included after, for now only