Re: mingw32-make does not set $(RM) to "del"

On 4 January 2013 01:12, Eli Zaretskii <[email protected]> wrote:
>> Date: Thu, 03 Jan 2013 09:59:53 +0100
>> From: Fabian Greffrath <[email protected]>
>> CC: [email protected]
>>
>> Am 02.01.2013 18:56, schrieb Eli Zaretskii:
>> > This won't work on older Windows versions, where "DEL" can only accept
>> > a single argument, and (AFAIR) doesn't have the equivalent of the -f
>> > option.
>>
>> Fine, but then "del" is still a better choice on Windows than "rm -f",
>> which is usually not existent on Windows.
>
> Sorry, I disagree.  A command that fails completely with a clear error
> message is better than a command that silently does only part of a
> job.
>
> 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.

-- 
Wu Yongwei
URL: http://wyw.dcweb.cn/