diff options
| author | Thomas Munro | 2019-06-24 21:29:53 +0000 |
|---|---|---|
| committer | Thomas Munro | 2019-06-24 21:41:15 +0000 |
| commit | 3a3b361ccbd8563f3b416e5ab5077b73dccd80e8 (patch) | |
| tree | f9d463217467c40218f19a2e158a1b1c91c0d54b /src | |
| parent | da1041fc3a2b65a6a36f1b8b91765a46e54e571e (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 'src')
0 files changed, 0 insertions, 0 deletions