De acordo com o Makefile do kernel Linux , o destino mrproper
depende da meta clean
(veja linha 1324 ).
A execução de make mrproper
será, portanto, suficiente, já que também removeria as mesmas coisas que a meta clean
faria.
A meta mrproper
foi adicionada em 1993 (Linux 0.97.7) e sempre dependeu da meta clean
. Isso significa que nunca foi necessário usar os ambos destinos como em make clean && make mrproper
.
Referência: link