Re: Makefile PATH modification with -current 'make'?

[Simon Gerraty]

Hi just a note to say, looking into your issue.

Trying to reproduce (in a simpler example) ... no joy yet.
Could you send me the output of 'ident /usr/bin/make' ?

Thanks
--sjg