summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorTom Lane <tgl@sss.pgh.pa.us>2016-03-19 17:19:37 -0400
committerTom Lane <tgl@sss.pgh.pa.us>2016-03-19 17:19:37 -0400
commite1936470ea10311614ff893113d40873b630d521 (patch)
tree00c6761de9ec3b5c206ee242fa5c2eafb21b3cb4 /src
parent853d40b60e593d81c01c3d5f3be289e05189b292 (diff)
Fix phony .PHONY.
A couple makefiles had misspelled the magic .PHONY target as PHONY.
Diffstat (limited to 'src')
-rw-r--r--src/test/modules/brin/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/test/modules/brin/Makefile b/src/test/modules/brin/Makefile
index e785471e19b..dda84c23c78 100644
--- a/src/test/modules/brin/Makefile
+++ b/src/test/modules/brin/Makefile
@@ -24,7 +24,7 @@ isolation-check: | submake-isolation
--outputdir=./isolation_output \
$(ISOLATIONCHECKS)
-PHONY: check isolation-check
+.PHONY: check isolation-check
submake-isolation:
$(MAKE) -C $(top_builddir)/src/test/isolation all