[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
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.
- mingw32-make does not set $(RM) to "del", Fabian Greffrath, 2013/01/02
- Re: mingw32-make does not set $(RM) to "del", Eli Zaretskii, 2013/01/02
- Re: mingw32-make does not set $(RM) to "del", Fabian Greffrath, 2013/01/03
- Re: mingw32-make does not set $(RM) to "del",
Eli Zaretskii <=
- Re: mingw32-make does not set $(RM) to "del", Yongwei Wu, 2013/01/05
- Re: mingw32-make does not set $(RM) to "del", Eli Zaretskii, 2013/01/05
- Re: mingw32-make does not set $(RM) to "del", Yongwei Wu, 2013/01/05
- Re: mingw32-make does not set $(RM) to "del", Eli Zaretskii, 2013/01/05
- Re: mingw32-make does not set $(RM) to "del", Yongwei Wu, 2013/01/07
- Re: mingw32-make does not set $(RM) to "del", Eli Zaretskii, 2013/01/07
- Re: mingw32-make does not set $(RM) to "del", Yongwei Wu, 2013/01/08