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"> _______________________________________________ Help-make mailing list Help-make@gnu.org https://lists.gnu.org/mailman/listinfo/help-make
