%% Edward Welbourne <[EMAIL PROTECTED]> writes:
ew> Now, man time says that time pays close attention to the TIME
ew> environment variable, but passing TIME=time on make's command line
ew> (to the *right* of make) shouldn't put it into the environment
ew> (should it ?)
Yes. TIME is not treated specially by make at all.
In the section "Communicating Variables to a Sub-`make'" says make
exports a variable to a sub-command "only if it is either defined in the
environment initially or set on the command line, and if its name
consists only of letters, numbers, and underscores."
"TIME" satisfies that criteria.
--
-------------------------------------------------------------------------------
Paul D. Smith <[EMAIL PROTECTED]> Find some GNU make tips at:
http://www.gnu.org http://www.paulandlesley.org/gmake/
"Please remain calm...I may be mad, but I am a professional." --Mad Scientist
