[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: |
Tue, 24 Apr 2007 10:18:13 +0100 |
On 24 April 2007 10:11, Benoit Sigoure wrote:
> Quoting Dave Korn <address@hidden>:
>
>> On 24 April 2007 07:43, Benoit Sigoure wrote:
>>
>>
>>> and the whole community will benefit from this very slight improvement.
>>
>> Nope, only the minority of win32/cmd.exe users. An awful lot of people
>> never use make with any other than a POSIX shell....
>>
>
> Yes, well, we're discussing on the make-*w32* ML, what did you expect?
Well, yes, but the code change involves anybody.
> That's still quite a lot of people anyway... Many people (like me) have to
> port/compile their projects on Windows (unfortunately).
>
> Given the cost of the improvement, I think it's worth the effort (2
> extra lines in a C file).
It gets to be a problem when a project accumulates many many years worth of
"just 2 extra lines for an ad-hoc fix". I'm not strongly for or against.
cheers,
DaveK
--
Can't think of a witty .sigline today....
- RE: Problems with echo. (echo period), (continued)
Re: Problems with echo. (echo period), Eli Zaretskii, 2007/04/21
Re: Problems with echo. (echo period), Aaron Shatters, 2007/04/23
Re: Problems with echo. (echo period), Aaron Shatters, 2007/04/23
- Re: Problems with echo. (echo period), Eli Zaretskii, 2007/04/24
- Re: Problems with echo. (echo period), Benoit Sigoure, 2007/04/24
- RE: Problems with echo. (echo period), Dave Korn, 2007/04/24
- RE: Problems with echo. (echo period), Benoit Sigoure, 2007/04/24
- RE: Problems with echo. (echo period),
Dave Korn <=
- Re: Problems with echo. (echo period), Christopher Faylor, 2007/04/24
- RE: Problems with echo. (echo period), Dave Korn, 2007/04/24
Re: Problems with echo. (echo period), Eli Zaretskii, 2007/04/24
RE: Problems with echo. (echo period), Earnie Boyd, 2007/04/24
RE: Problems with echo. (echo period), Dave Korn, 2007/04/24
RE: Problems with echo. (echo period), Earnie Boyd, 2007/04/24
RE: Problems with echo. (echo period), Dave Korn, 2007/04/24
Re: Problems with echo. (echo period), Aaron Shatters, 2007/04/24