а чего ты думаешь что тут обязательно замешаны деньги? Что Линус не пингв^Wчеловек, не мог за написанием makefile'ов мыть посуду, например, с этим средством? Вот и прикольнулся
Я считаю это тоже бредом, можно было в качестве шутки оставить, но дефолтовый всем привычный стандартизированный и распрекрасный make clean сделать тоже стоит(ло)
make clean не вытирает ведь файлы, созданные ./configure, а так как make config - аналог ./configure, то и созданные им файлы make clean вытирать не должен
По идее make distclean должен этим заниматься. А таргет makefile-а, называемый mrproper, это все же довольно необычно. В списке "стандартных" целей утилиты GNU make такой по-моему отсутствует...
<fatal> I guess "mrproper" means Mr. Proper... someone who has an obsessive clienliness paranoia...... which would make sence because "mrproper" cleans up more/harder then "clean"
make distclean подразумевает rm /boot/vmlinuz-{$CURRENT_VERSION}.
Он очищает систему а не дерево исходников. У религии мейка (точнее Makefile) вообще нет понятия обратного ./configure потому что это его не волнует. ./configure может вообще не быть а make будет работать. Так что make mrporper это костыль потому что в скрипте ./configure такой байды не предусмотренно. И mrproper != distclean.