Re: $MAKE and ansi.test

[Tom Tromey]

>>>>> "Patrick" == Patrick Welche <address@hidden> writes:

Patrick> From configure:
Patrick>   checking whether make sets ${MAKE}... (cached) yes

This means that make sets the make variable `MAKE'...

Patrick> From defs:
Patrick>   # User can set MAKE to choose which make to use.  Must use GNU make.
Patrick>   test -z "$MAKE" && MAKE=make

Patrick> Ah - maybe its because defs is a shell script.. and make
Patrick> doesn't necessarily export ${MAKE}?

Yeah.  make might not necessarily set the environment variable MAKE.

Tom