make-w32
[Top][All Lists]
Advanced

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

RE: Problems with echo. (echo period)


From: Dave Korn
Subject: RE: Problems with echo. (echo period)
Date: Fri, 20 Apr 2007 17:18:01 +0100

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





reply via email to

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