[Top][All Lists]

[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: Sat, 5 Jan 2013 14:29:17 +0800

On 4 January 2013 01:12, Eli Zaretskii <address@hidden> wrote:
>> Date: Thu, 03 Jan 2013 09:59:53 +0100
>> From: Fabian Greffrath <address@hidden>
>> CC: address@hidden
>> 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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]