Re: GMAKE 3.81 vs GMAKE 4.2

[Paul Smith]

On Mon, 2019-10-21 at 10:11 +0530, nikhil jain wrote:
> Alright, so I don't know much of the makefile stuff.  But can it
> happen like a makefile is more optimized for a specific make version
> ?
> Can that happen at all?

I don't know how to answer this question in a useful way.  Of course,
it's possible.  Almost anything is possible.

You might try using the latest release candidate for GNU make 4.3 and
see if it helps.  Maybe some bug fixed since 4.2 was released is
impacting your build:

https://alpha.gnu.org/gnu/make/make-4.2.92.tar.gz 
id="-x-evo-selection-start-marker">