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: Eli Zaretskii
Subject: Re: Problems with echo. (echo period)
Date: Tue, 24 Apr 2007 20:31:50 +0300

> From: "Dave Korn" <address@hidden>
> Cc: <address@hidden>
> Date: Tue, 24 Apr 2007 15:26:48 +0100
> 
> > 2 - using "echo. 2>&1" which tricks make into thinking
> > this should be handled by the shell?
> 
>   Bingo.  The problem is that make doesn't take the slow path when it should;
> using redirection guarantees the slow path; voila, problem solved in a
> reliable fashion for minimal effort.

Yes, using some characters special to the shell is the way to go.




reply via email to

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