>>>>> "Patrick" == Patrick Welche <[EMAIL PROTECTED]> 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
