diff options
author | Thomas Munro <tmunro@postgresql.org> | 2019-06-25 09:29:53 +1200 |
---|---|---|
committer | Thomas Munro <tmunro@postgresql.org> | 2019-06-25 09:36:21 +1200 |
commit | 0089c3059cb6b3dd20cf072f26d1a7a33412df39 (patch) | |
tree | f9632640f72c951873c2c17e40c48bc93001580b /Makefile | |
parent | a2dec374807565f6337915fb236bb3ae37af0644 (diff) | |
download | postgresql-0089c3059cb6b3dd20cf072f26d1a7a33412df39.tar.gz |
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-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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." ; \ |