Messages in this thread | | | Date | Thu, 14 Nov 2002 16:02:47 -0500 | From | Mark Hounschell <> | Subject | Re: make distclean and make dep?? |
| |
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/
| |