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 | 365ee96d535e91d9808d21a8a78c8664cfc44d5e (patch) | |
| tree | 63eb57f666bd88b978ecfdd1623bae579d5a1a54 /src | |
| parent | 4e8b2fd335a913a09f32cc0f51b6f03405631cbb (diff) | |
| download | postgresql-365ee96d535e91d9808d21a8a78c8664cfc44d5e.tar.gz postgresql-365ee96d535e91d9808d21a8a78c8664cfc44d5e.zip | |
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 e1e2c0adaf2..62fc921b801 100644 --- a/src/Makefile.global.in +++ b/src/Makefile.global.in @@ -582,6 +582,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) |