[Top][All Lists]

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

Re: nodist => CLEANFILES, no?

From: Martin Frydl
Subject: Re: nodist => CLEANFILES, no?
Date: Tue, 24 Jun 2003 16:47:40 +0200
User-agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.3) Gecko/20030314

Earnie Boyd wrote:
Akim Demaille wrote:

 > On Tue, Jun 24, 2003 at 02:02:25PM +0200, Akim Demaille wrote:
>> >> Why wouldn't nodist_ stuff be automatically included into CLEANFILES?

 > I think it would make sense.


I would love this.  The only issue is where to bind the
cleaning. DISTCLEAN or CLEAN :(

Me thinks, DISTCLEAN the better choice.

Me too, since sometimes nodist_ files are created by configure, not make.


reply via email to

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