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:40:54 +1200 |
commit | 956611e4c480a2b7edeb2f1581e99f19f1983ca5 (patch) | |
tree | c14525bb757bdc16634eddfbf45f2c806adab0cf /src | |
parent | cb8962ce8eb4bc8377d88424069794ad62080d4d (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