From 3303b8c16a9ed5eb25a178ace4b035b97ee4fdd2 Mon Sep 17 00:00:00 2001 From: Benjamin Valentin Date: Mon, 15 Nov 2021 20:12:02 +0100 Subject: [PATCH] Makefile.include: rename Makefile.ci target to create-Makefile.ci If we -include Makefile.ci and `Makefile.ci` does not exist, but we provide `make` with a way on how to do so, it will try to create `Makefile.ci`. This is not what we want, but I don't know how to disable this automagic. So rename the target to `create-Makefile.ci` to avoid the conflict. --- Makefile.include | 2 +- makefiles/info-global.inc.mk | 2 +- makefiles/info.inc.mk | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/Makefile.include b/Makefile.include index 71585be1da..461b8db59d 100644 --- a/Makefile.include +++ b/Makefile.include @@ -222,7 +222,7 @@ GLOBAL_GOALS += buildtest \ info-boards-features-missing \ info-boards-supported \ info-buildsizes info-buildsizes-diff \ - Makefile.ci \ + create-Makefile.ci \ # ifneq (, $(filter $(GLOBAL_GOALS), $(MAKECMDGOALS))) diff --git a/makefiles/info-global.inc.mk b/makefiles/info-global.inc.mk index 7e0026057d..b14a867ce8 100644 --- a/makefiles/info-global.inc.mk +++ b/makefiles/info-global.inc.mk @@ -143,7 +143,7 @@ info-boards-features-blacklisted: info-boards-features-conflicting: @for f in $(BOARDS_FEATURES_CONFLICTING); do echo $${f}; done | column -t -Makefile.ci: +create-Makefile.ci: @$(RIOTTOOLS)/insufficient_memory/create_makefile.ci.sh --no-docker # Reset BOARDSDIR so unchanged for makefiles included after, for now only diff --git a/makefiles/info.inc.mk b/makefiles/info.inc.mk index f6bf1403e8..d1939e5c9b 100644 --- a/makefiles/info.inc.mk +++ b/makefiles/info.inc.mk @@ -5,7 +5,7 @@ info-debug-variable-% info-toolchains-supported \ check-toolchain-supported \ info-programmers-supported \ - Makefile.ci \ + create-Makefile.ci \ # info-objsize: