diff options
| author | Tom Lane | 2016-03-19 21:19:37 +0000 |
|---|---|---|
| committer | Tom Lane | 2016-03-19 21:19:37 +0000 |
| commit | d5351fcb03fc8e20651d5863b88b397a8be68d74 (patch) | |
| tree | 0803b8f29d6a995c632393a56a4b0b258ea6efb5 /src | |
| parent | 429ee5a822db0e8faf669d77c810f1eeaaff1ab4 (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/Makefile | 2 |
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 |