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 | a029d2cf4203f8f240bae4651e62c2358673b9f4 (patch) | |
| tree | fc9321a22ef68ecb892b3520257bfc090489a72e /src | |
| parent | 39370e6a0ae6e92a79a50a9531b6a291cb2ee590 (diff) | |
| download | postgresql-a029d2cf4203f8f240bae4651e62c2358673b9f4.tar.gz postgresql-a029d2cf4203f8f240bae4651e62c2358673b9f4.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 59bd7996d18..44bfe28f571 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) |