From e721830bc793dee2655aaae401c31b78bf675aa7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ra=C3=BAl=20Mar=C3=ADn?= <git@rmr.ninja>
Date: Thu, 19 Dec 2019 16:50:43 +0100
Subject: [PATCH] The control file should be updated on deployment

---
 src/pg/Makefile | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/pg/Makefile b/src/pg/Makefile
index f8f7a47..2e96c21 100644
--- a/src/pg/Makefile
+++ b/src/pg/Makefile
@@ -51,8 +51,7 @@ test: export PGUSER=postgres
 test: installcheck
 
 # Release tasks
-
-../../release/$(EXTENSION).control: $(EXTENSION).control
+.PHONY ../../release/$(EXTENSION).control: $(EXTENSION).control
 	cp $< $@
 
 # Prepare new release from the currently installed development version,