W systemie Linux pomyślałem, że plik Makefile
został zmieniony po uruchomieniu make menuconfig
.
Ale kiedy się Makefile
różnią, nie widzę żadnej różnicy.
Który plik zostanie zmieniony po tym make menuconfig
?
W systemie Linux pomyślałem, że plik Makefile
został zmieniony po uruchomieniu make menuconfig
.
Ale kiedy się Makefile
różnią, nie widzę żadnej różnicy.
Który plik zostanie zmieniony po tym make menuconfig
?
Odpowiedzi:
W ogóle, po make menuconfig
czy make config
The .config
plik 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
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.
menuconfig
) został przeniesiony do.config.old
.