[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: $MAKE and ansi.test

From: Tom Tromey
Subject: Re: $MAKE and ansi.test
Date: 05 May 2001 15:31:41 -0600

>>>>> "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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]