Re: MAKEFLAGS in non-GNU Makefile
Tom Lane <tgl@sss.pgh.pa.us>
From: Tom Lane <tgl@sss.pgh.pa.us>
To: Thomas Munro <thomas.munro@gmail.com>
Cc: pgsql-hackers <pgsql-hackers@postgresql.org>
Date: 2019-06-24T14:29:13Z
Lists: pgsql-hackers
Thomas Munro <thomas.munro@gmail.com> writes: > In commit a76200de we added a line to unset MAKELEVEL to fix a problem > with our temp-install logic. I don't think it was a great idea to > clear MAKEFLAGS at the same time, because now when you type "make -s > -j8" on a non-GNU system it ignores you and is loud and slow. Feel free to undo that. I was concerned about possible incompatibilities in the makeflags, but if typical cases like this one seem to work, let's allow it. regards, tom lane
Commits
-
Don't unset MAKEFLAGS in non-GNU Makefile.
- 9ad5ea82d2bd 9.5.19 landed
- 3a3b361ccbd8 9.6.15 landed
- 956611e4c480 10.10 landed
- 2839bf3538e7 11.5 landed
- 0089c3059cb6 12.0 landed
-
Prevent passing down MAKELEVEL/MAKEFLAGS from non-GNU make to GNU make.
- a76200de8462 10.0 cited