diff options
| author | Tom Lane <tgl@sss.pgh.pa.us> | 2017-02-17 16:11:02 -0500 |
|---|---|---|
| committer | Tom Lane <tgl@sss.pgh.pa.us> | 2017-02-17 16:11:02 -0500 |
| commit | 447591c70c4aaef950f8cee6db188e4c35bc551f (patch) | |
| tree | 779b03dfb1ff34ea888f982a2d10272cff0bcfed /src | |
| parent | d993171a7aa212db479ec53b47881b4e677d0b5c (diff) | |
Document usage of COPT environment variable for adjusting configure flags.
Also add to the existing rather half-baked description of PROFILE,
which does exactly the same thing, but I think people use it differently.
Discussion: https://postgr.es/m/16461.1487361849@sss.pgh.pa.us
Diffstat (limited to 'src')
| -rw-r--r-- | src/Makefile.global.in | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/Makefile.global.in b/src/Makefile.global.in index 6930f2f609d..340e7441f45 100644 --- a/src/Makefile.global.in +++ b/src/Makefile.global.in @@ -566,6 +566,11 @@ ifneq ($(CUSTOM_COPT),) COPT= $(CUSTOM_COPT) endif +# +# These variables are meant to be set in the environment of "make" +# to add flags to whatever configure picked. Unlike the ones above, +# they are documented. +# ifdef COPT CFLAGS += $(COPT) LDFLAGS += $(COPT) |