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

> 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.