19980914 snapshot make problem

[Mark Mitchell]

>>>>> "David" == David S Miller <davem@dm.cobaltmicro.com> writes:

    David> EGCS builds these days are unsupported with any make other
    David> than GNU make.

Were it not for the fact that I don't have easy access to a non-GNU
make, I would try to write and test something like this:

check-gnu-make:
	(expr `$(MAKE) --version` | grep GNU) || \
	  (echo "You must use GNU Make to build GCC" && false)

Perhaps some shell-script/make portability expert could whip up
something suitable.  Then, we could have the top-level
bootstrap/default targets depend on this, which would greatly reduce
the number of times we see this FAQ.

In a former job, we used something like this internally, because we
had so many makes lying around and would accidentally get the wrong
one.

-- 
Mark Mitchell 			mark@markmitchell.com
Mark Mitchell Consulting	http://www.markmitchell.com