From b0fbd9b905aa8ef091936636d8d7463e728de64c Mon Sep 17 00:00:00 2001
From: Sam Salisbury <samsalisbury@gmail.com>
Date: Wed, 5 May 2021 11:57:20 +0100
Subject: [PATCH] circleci: don't force config regeneration (#1203)

---
 .circleci/Makefile | 2 --
 1 file changed, 2 deletions(-)

diff --git a/.circleci/Makefile b/.circleci/Makefile
index db204e8b35..d24027f1d9 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"