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 | 156fbdfcef5d5dfae63bddeeaef2f1aac15f2151 (patch) | |
| tree | 2ee94bd6974cba4a0e6bbe619455c8870e905619 /src | |
| parent | 4bd0f83172561beb4ced58231ff96314e2a7a742 (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 6facb990936..71391ad2868 100644 --- a/src/Makefile.global.in +++ b/src/Makefile.global.in @@ -548,6 +548,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) |