I only use mrproper myself. Always have. Over the years I've seen
too many build failures for others caused by insufficient cleaning
to really trust plain clean.
> I know that we always used to say: make mrproper can cure everything.
> But make clean starts to get the power of make mrproper.
> It makes sense to kill one of them, but make help needs an update though.
> You could argue if distclean=mrproper or mrproper=clean.
Changing the behaviour of mrproper is like $EDITOR suddenly changing its
core key bindings. Users accustomed to those bindings won't be happy.
If, for whatever reason, clean becomes as powerful as mrproper, just
set mrproper == clean. Or remove clean but keep mrproper :-)
/Mikael
-
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/