Re: mingw32-make does not set $(RM) to "del"
Yongwei Wu <[email protected]> Sun, 6 Jan 2013 08:27:37 +0800
| Newsgroups | gmane.comp.gnu.make.windows |
|---|---|
| Message-ID | <CADs46iew47=_7A4uf-rk9RtgF7g9pSAnYH4+US-_Z9CdPux-5g@mail.gmail.com> |
On 5 January 2013 15:33, Eli Zaretskii <[email protected]> wrote: >> Date: Sat, 5 Jan 2013 14:29:17 +0800 >> From: Yongwei Wu <[email protected]> >> >> > 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/