Messages in this thread | | | Date | Wed, 18 Dec 1996 17:23:32 +0100 (MET) | From | Ingo Molnar <> | Subject | Re: Why not make mrproper? (was Linux v2.1.16) |
| |
On Wed, 18 Dec 1996, Kai Schulte wrote:
> make mrproper is a superset of make clean, so nobody would want to > do both anyway. In most cases, mrproper involves more work because > you have to hide your .config someplace :)
chmod a-r .config
:)
-- mingo
| |