Make: default to docker with generate-Makefile.ci

bergzand · bergzand · commit df18af51958f · 2023-02-04T16:53:49.000+01:00
diff --git 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
