On 5 January 2013 15:33, Eli Zaretskii <e...@gnu.org> wrote: >> Date: Sat, 5 Jan 2013 14:29:17 +0800 >> From: Yongwei Wu <wuyong...@gmail.com> >> >> > 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. > > I agree (and I do), but I won't force others to do that. So if it is > deemed better to have that variable undefined on Windows, I might be > convinced to do that. The number of Makefile's out there which use > these defaults is small anyway, according to my experience.
No, undefining $(RM) will break certain makefiles, and bring no real benefits, IMHO. Breaking backward compatibility always requires a very sound reason, and I do not see it here. -- Wu Yongwei URL: http://wyw.dcweb.cn/ _______________________________________________ Make-w32 mailing list Make-w32@gnu.org https://lists.gnu.org/mailman/listinfo/make-w32
