diff --git a/.circleci/Makefile b/.circleci/Makefile index 188952dbb2..dc75ea5f1f 100644 --- a/.circleci/Makefile +++ b/.circleci/Makefile @@ -82,6 +82,7 @@ define GEN_CONFIG @mv -f $@.tmp $@ endef +.PHONY: $(OUT) $(OUT): $(CONFIG_SOURCE) $(GEN_CONFIG) @echo "$@ updated"