Który plik zostanie zmieniony po „zrobieniu menuconfig”?

8

W systemie Linux pomyślałem, że plik Makefilezostał zmieniony po uruchomieniu make menuconfig.

Ale kiedy się Makefileróżnią, nie widzę żadnej różnicy.

Który plik zostanie zmieniony po tym make menuconfig?

Anders Lind
źródło

Odpowiedzi:

12

W ogóle, po make menuconfigczy make configThe .configplik zostanie zmieniony. Ten plik opisuje, które opcje są wybrane i powiedz make i Makefile, który plik skompilować i które opcje aktywować.

Jak powiedział @Lekensteyn, poprzedni plik konfiguracyjny zostanie przemianowany na .config.old

Cédric Julien
źródło
4
Warto wiedzieć, że poprzedni plik .config (przed uruchomieniem obiektów docelowych, takich jak menuconfig) został przeniesiony do .config.old.
Lekensteyn,
9

Ogólnie możesz użyć

find /usr/src/linux -mmin -10

aby znaleźć pliki zmodyfikowane w ciągu ostatnich 10 minut we wspomnianym katalogu. Doprowadziłoby to do wyniku, który Cédric Julien dał: .config.

nieznany użytkownik
źródło