kernelのリビルドする際に一旦環境をキレイにするのにdistcleanを使っておりました。
make ARCH=arm distclean
さる方から「mrproper」なるオプションを教えて貰いました。
make ARCH=arm mrproper
何が違うのかな、と思ったのですが
- distclean
- mrproperに加えてpatchが作成したファイルも削除する
- mrproper
- カーネルソースツリーを初期化する。.configやバックアップファイルも含めて不要なファイルを削除する
なのだそうです。patchが作成したファイルって言うと、rejとかその辺でしょうか?
使途としては「どっちでも良いか」、が結論でした、、、