make-w32
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


From: Fabian Greffrath
Subject: Re: mingw32-make does not set $(RM) to "del"
Date: Thu, 03 Jan 2013 09:59:53 +0100
User-agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:17.0) Gecko/17.0 Thunderbird/17.0

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.

The solution is to install a Windows port of GNU Coreutils.  One such
port is available from the GnuWin32 site.

I don't see how installing the whole bunch of Coreutils for Windows is a better solution than falling back to a command that is guaranteed to be available in the first place.

On Windows, the assumption that "rm" is present is usually wrong. Leave this to MSYS or Cygwin, but not plain Windows builds of Make.

 - Fabian




reply via email to

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