[Top][All Lists]
[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....
Re: Problems with echo. (echo period), Aaron Shatters, 2007/04/19
Re: Problems with echo. (echo period), Aaron Shatters, 2007/04/19
Re: Problems with echo. (echo period), Aaron Shatters, 2007/04/20
- RE: Problems with echo. (echo period),
Dave Korn <=
- Re: Problems with echo. (echo period), Eli Zaretskii, 2007/04/21
- RE: Problems with echo. (echo period), Dave Korn, 2007/04/23
- Re: Problems with echo. (echo period), Christopher Faylor, 2007/04/23
- RE: Problems with echo. (echo period), Dave Korn, 2007/04/23
- RE: Problems with echo. (echo period), Keith Huntington, 2007/04/23
- Re: Problems with echo. (echo period), Greg Chicares, 2007/04/23
Re: Problems with echo. (echo period), Eli Zaretskii, 2007/04/23
RE: Problems with echo. (echo period), Dave Korn, 2007/04/23
Re: Problems with echo. (echo period), Eli Zaretskii, 2007/04/24
Re: Problems with echo. (echo period), Eli Zaretskii, 2007/04/21