On 4 January 2013 01:12, Eli Zaretskii <[email protected]> wrote: >> 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.
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 [email protected] https://lists.gnu.org/mailman/listinfo/make-w32
