[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Eli Zaretskii
Subject: Re: mingw32-make does not set $(RM) to "del"
Date: Sat, 05 Jan 2013 09:33:27 +0200

> Date: Sat, 5 Jan 2013 14:29:17 +0800
> From: Yongwei Wu <address@hidden>
> > 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.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]