On 20 April 2007 17:15, Aaron Shatters wrote:
> As I noted previously, there are many workarounds to this problem. I am
> interested in fixing the root cause. After all of this investigation, do
> we have consensus that this is a limitation of make? More importantly, do
> we have consensus that it should be fixed? We seem to have run out of
> reasons for not fixing this problem.
Since "echo." is clearly a shell builtin, and since the code is supposed to
recognize shell builtins and hand them off to the shell, I would support
fixing this in the source. Not that my opinion counts for much; as always,
the maintainers decision is final.
cheers,
DaveK
--
Can't think of a witty .sigline today....
_______________________________________________
Make-w32 mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/make-w32
