[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: mingw32-make does not set $(RM) to "del"
From: |
Yongwei Wu |
Subject: |
Re: mingw32-make does not set $(RM) to "del" |
Date: |
Sun, 6 Jan 2013 08:27:37 +0800 |
On 5 January 2013 15:33, Eli Zaretskii <address@hidden> wrote:
>> Date: Sat, 5 Jan 2013 14:29:17 +0800
>> From: Yongwei Wu <address@hidden>
>>
>> > There just isn't a good alternative on Windows. I might support
>> > leaving this variable undefined on Windows, but using 'del" is a
>> > non-starter.
>>
>> If one uses Unix-style tools like make.exe, one should definitely also
>> need tools like rm, ls, wc, grep, etc.
>
> I agree (and I do), but I won't force others to do that. So if it is
> deemed better to have that variable undefined on Windows, I might be
> convinced to do that. The number of Makefile's out there which use
> these defaults is small anyway, according to my experience.
No, undefining $(RM) will break certain makefiles, and bring no real
benefits, IMHO. Breaking backward compatibility always requires a very
sound reason, and I do not see it here.
--
Wu Yongwei
URL: http://wyw.dcweb.cn/
- mingw32-make does not set $(RM) to "del", Fabian Greffrath, 2013/01/02
- Re: mingw32-make does not set $(RM) to "del", Eli Zaretskii, 2013/01/02
- Re: mingw32-make does not set $(RM) to "del", Fabian Greffrath, 2013/01/03
- Re: mingw32-make does not set $(RM) to "del", Eli Zaretskii, 2013/01/03
- Re: mingw32-make does not set $(RM) to "del", Yongwei Wu, 2013/01/05
- Re: mingw32-make does not set $(RM) to "del", Eli Zaretskii, 2013/01/05
- Re: mingw32-make does not set $(RM) to "del",
Yongwei Wu <=
- Re: mingw32-make does not set $(RM) to "del", Eli Zaretskii, 2013/01/05
- Re: mingw32-make does not set $(RM) to "del", Yongwei Wu, 2013/01/07
- Re: mingw32-make does not set $(RM) to "del", Eli Zaretskii, 2013/01/07
- Re: mingw32-make does not set $(RM) to "del", Yongwei Wu, 2013/01/08