diff --git a/.circleci/Makefile b/.circleci/Makefile
index db204e8b3578..d24027f1d92c 100644
--- a/.circleci/Makefile
+++ b/.circleci/Makefile
@@ -78,8 +78,6 @@ define GEN_CONFIG
 	@mv -f $@.tmp $@
 endef
 
-# Always re-generate the config, as we can't trust timestamps with git.
-.PHONY: $(OUT)
 $(OUT): $(CONFIG_SOURCE) 
 	$(GEN_CONFIG)
 	@echo "$@ updated"