summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorThomas Munro2019-06-24 21:29:53 +0000
committerThomas Munro2019-06-24 21:40:20 +0000
commit2839bf3538e764c559f79d3cc8f57d5e7b580741 (patch)
tree0edfe9c77b760ca883699ddd3cf45342fb7a42a1 /Makefile
parentbe5676f4143dd4f01b754ff48966011577f42bfd (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
Diffstat (limited to 'Makefile')
-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." ; \