[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: Eli Zaretskii
Subject: Re: mingw32-make does not set $(RM) to "del"
Date: Thu, 03 Jan 2013 19:12:06 +0200

> 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

There just isn't a good alternative on Windows.  I might support
leaving this variable undefined on Windows, but using 'del" is a

reply via email to

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