Re: [PATCH] RE: make distclean doesn't

[Justin Erenkrantz]

On Sun, Sep 02, 2001 at 01:22:00AM -0700, Greg Stein wrote:
> I use distclean on my computer all the time. Along with extraclean. Neither
> of those targets should toss config.nice. *That* is what I mean.
> 
> To be clear: nothing in our build/config/whatever should remove config.nice

+1.  -- justin