Use gmake instead of make.

Jayakumar Muthukumarasamy ([email protected])
Wed, 19 Apr 1995 12:53:42 -0400 (EDT)

I updgraded all the Imakefiles to use, gnu make instead of make. But
The first command still needs to be issued consciously. So use gmake
instead of make or alias make="gmake --no-keep-going --no-print-directory".
I did this in an attempt to get the same set of Makefiles to compile
both at ISI and GATECH. But, the HP's just pulled the rug from under my
feet, So the impasse continues. But, since, I have already switched to
gmake, and since there is more probability that we can get things to
compile with gmake, than with make, and since gmake is faster,
we shall stick to gmake.

-jk