On 4 January 2013 01:12, Eli Zaretskii <e...@gnu.org> wrote: >> Date: Thu, 03 Jan 2013 09:59:53 +0100 >> From: Fabian Greffrath <fab...@greffrath.com> >> CC: make-w32@gnu.org >> >> 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 URL: http://wyw.dcweb.cn/ _______________________________________________ Make-w32 mailing list Make-w32@gnu.org https://lists.gnu.org/mailman/listinfo/make-w32
