%% "Lars J. Aas" <[EMAIL PROTECTED]> writes:

  lja> Well, it's the shell that reports command not found, not make.

Normally true, but GNU make has an efficiency enhancement where it
examines the command line to be run for various special characters and
commands.  If any of those are found, it invokes the shell as normal.

If none of them are found, it forks/execs the command directly since it
knows that the shell is not needed to pre-process the command.  This can
make long builds noticeably faster.

If you examine the "not found" error message it's pretty clearly being
generated by make, not by a shell invoked by make.

Anyway, see my other message; the version of GNU make John is using is
buggy.

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

Reply via email to