[Top][All Lists]
[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: |
Sat, 21 Apr 2007 12:01:35 +0300 |
> From: "Dave Korn" <address@hidden>
> Date: Fri, 20 Apr 2007 17:18:01 +0100
> Cc:
>
> 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.
I don't think "echo." is a shell builtin. It is a peculiar feature of
the cmd.exe command parser.
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, 2007/04/20
- Re: Problems with echo. (echo period),
Eli Zaretskii <=
- 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
Re: Problems with echo. (echo period), Aaron Shatters, 2007/04/23