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