From df18af51958fa02f6517262f398fd9df9c3d140f Mon Sep 17 00:00:00 2001 From: Koen Zandberg Date: Sat, 4 Feb 2023 16:53:49 +0100 Subject: [PATCH] Make: default to docker with generate-Makefile.ci --- makefiles/info-global.inc.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/makefiles/info-global.inc.mk b/makefiles/info-global.inc.mk index 13c7bf613c..e307985386 100644 --- a/makefiles/info-global.inc.mk +++ b/makefiles/info-global.inc.mk @@ -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