Don't call make directly from a make file, but use $(MAKE). make may not accept the options you passed to the original make program invoked at the top level (aka, I'm running gmake -j and my make program doesn't like -j)
« Back to merge proposal
Don't call make directly from a make file, but use $(MAKE). make may not accept the options you passed to the original make program invoked at the top level (aka, I'm running gmake -j and my make program doesn't like -j)