Re: make distclean and make dep??

Sam Ravnborg (sam@ravnborg.org)
Thu, 14 Nov 2002 18:42:47 +0100


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.

Only caveat is that people are forced to wait for the modversion stuff,
but to my understanding Rusty is making that step obsolete soon.
Did I miss something obvious?

Sam
-
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/