I've noticed that on some linux systems (maybe even all OEL6 and 7), there is a /usr/bin/gmake binary. Configure unfortunately picks up this gmake instead of the make binary we explicitly put first in the path. I will fix this by adding a configure parameter in make/jprt.properties in the jdk9 source.

We have reports of make crashing in certain situations and I believe using gnu make 4.0 in JPRT, as has been intended, will fix this problem. For this to help on all cross compilation platforms, a fix in JPRT is necessary to provide the correct make executable to the build.