Re: mingw32-make does not set $(RM) to "del"

[Eli Zaretskii]

> Date: Mon, 7 Jan 2013 19:48:59 +0800
> From: Yongwei Wu <address@hidden>
> Cc: address@hidden
> 
> On 6 January 2013 11:51, Eli Zaretskii <address@hidden> wrote:
> >> Date: Sun, 6 Jan 2013 08:27:37 +0800
> >> From: Yongwei Wu <address@hidden>
> >> Cc: address@hidden
> >>
> >> undefining $(RM) will break certain makefiles
> >
> > Can you show them and point to projects that use them?
> 
> No, I do not know popular projects that do this (they use more formal
> methods). I do use $(RM) this way (in personal and proprietary
> projects) to minimize the Makefile difference between Unix and Windows
> platforms.
> 
> For a personal project, you can check:
> 
> https://github.com/adah1972/libunibreak/blob/master/src/Makefile.gcc
> 
> Maybe it is just informal, or even foolish. I doubt I am the only one
> doing this.

But if Sed, cat, head, and even rm are called by their literal names,
as in that project of yours, then why is it important to be able to
use $(RM) instead of "rm"?