Re: make distclean and make dep??

Mark Hounschell (markh@compro.net)
Thu, 14 Nov 2002 16:02:47 -0500


Sam Ravnborg wrote:
>
> On Thu, Nov 14, 2002 at 09:35:53AM -0600, Kai Germaschewski wrote:
> > I think there's good reasons for both distclean and mrproper, distclean is
> > the standard target which most projects use, and mrproper is the
> > traditional Linux kernel target. So I would vote for keeping them both
> > (and share a common help entry).
> >
> > What I don't see is why we would need different semantics, though,
> > anybody?
> How about the following:
> clean Delete all intermidiate files, including symlinks and modversions
> mrproper clean + deletes .config and .config.old
> distclean mrproper + all editor backup, patch backup files
>
> In other words a more powerfull clean compared to today.
> The difference between clean and mrproper is then _only_ the configuration
> files. That easy to explain, and thats easy to understand. Today only
> very few people know the difference, and simply save their config,
> and do make mrproper.
>
> I have many times seen people do something like:
> cp .config xxx
> make mrproper
> mv xxx .config
>
> No need for that, when make clean deletes enough.

I thought make mrproper cleaned whatever make dep did also. Make clean certainly
does not.
I never need a make dep after a clean. Only after a make mrproper???

Mark
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/