summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorThomas Munro2019-06-24 21:29:53 +0000
committerThomas Munro2019-06-24 21:36:21 +0000
commit0089c3059cb6b3dd20cf072f26d1a7a33412df39 (patch)
treef9632640f72c951873c2c17e40c48bc93001580b
parenta2dec374807565f6337915fb236bb3ae37af0644 (diff)
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 c400854cd3..99dcfff654 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." ; \