> 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. _______________________________________________ Make-w32 mailing list Make-w32@gnu.org https://lists.gnu.org/mailman/listinfo/make-w32
