La pulizia viene eseguita su tre livelli, come descritto in un commento nel Makefile del kernel Linux:
###
# Cleaning is done on three levels.
# make clean Delete most generated files
# Leave enough to build external modules
# make mrproper Delete the current configuration, and all generated files
# make distclean Remove editor backup files, patch leftover files and the like
Secondo il Makefile, il file mrproper target dipende dal clean bersaglio (vedi riga 1421). Inoltre, il distclean target dipende da mrproper .
Esecuzione di make mrproper sarà quindi sufficiente in quanto eliminerebbe anche le stesse cose del clean target farebbe (e altro).
Il mrproper target è stato aggiunto nel 1993 (Linux 0.97.7) ed è sempre dipeso dal clean obbiettivo. Ciò significa che non è mai stato necessario utilizzare entrambi obiettivi come in make clean && make mrproper .
Riferimento storico:https://archive.org/details/git-history-of-linux
clean è un prerequisito per mrproper target in Makefile, quindi eseguendo make clean separatamente è ridondante.