aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorThomas Munro <tmunro@postgresql.org>2019-06-25 09:29:53 +1200
committerThomas Munro <tmunro@postgresql.org>2019-06-25 09:44:10 +1200
commit9ad5ea82d2bda2ae04b1be958d890d24bc1010f6 (patch)
treefa258534036887158c9ce244db0c19cd643eabd3
parent316f6893282450b5a748550d922aa72141f97d1c (diff)
downloadpostgresql-9ad5ea82d2bda2ae04b1be958d890d24bc1010f6.tar.gz
postgresql-9ad5ea82d2bda2ae04b1be958d890d24bc1010f6.zip
Don't unset MAKEFLAGS in non-GNU Makefile.
It's useful to be able to pass down options like -s and -j. Back-patch to 9.5, like commit a76200de. Discussion: https://postgr.es/m/CA%2BhUKG%2Be1M8-BbL%3DPqhTp6oO6XPO6%2Bs9WGQMLfbuZ%3DG9CtzyXg%40mail.gmail.com
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index c400854cd3d..99dcfff654d 100644
--- a/Makefile
+++ b/Makefile
@@ -33,7 +33,7 @@ all check install installdirs installcheck installcheck-parallel uninstall clean
\
if [ x"$${GMAKE+set}" = xset ]; then \
echo "Using GNU make found at $${GMAKE}"; \
- unset MAKEFLAGS; unset MAKELEVEL; \
+ unset MAKELEVEL; \
$${GMAKE} $@ ; \
else \
echo "You must use GNU make to build PostgreSQL." ; \