Está escrito en el kernel de Linux Makefile
que
clean - Remove most generated files but keep the config and
enough build support to build external modules
mrproper - Remove all generated files + config + various backup files
Y se afirma en los documentos del arco que
Para finalizar la preparación, asegúrese de que el árbol del núcleo esté absolutamente limpio;
$ make clean && make mrproper
Entonces, si se make mrproper
elimina más a fondo, ¿por qué se make clean
usa?
make clean
es redundante, ¿verdad?