Quel fichier est modifié après avoir fait "make menuconfig"?

8

Sous Linux, je pensais que le fichier Makefileétait modifié après avoir exécuté make menuconfig.

Mais quand je diffère Makefile, je ne vois aucune différence.

Quel fichier est modifié après l'avoir fait make menuconfig?

kernel makefile Anders Lind
la source

Réponses:

12

En général, après un make menuconfigou make config, le .configfichier est modifié. Ce fichier décrit les options choisies et indiquera à make et Makefile quel fichier compiler et quelles options activer.

Comme indiqué par @Lekensteyn, le fichier de configuration précédent sera renommé en .config.old

Cédric Julien
la source
4
Il peut être utile de savoir que le fichier .config précédent (avant d'exécuter des cibles comme menuconfig) est déplacé vers .config.old.
Lekensteyn
9

En général, vous pouvez utiliser 

find /usr/src/linux -mmin -10

pour trouver vous-même les fichiers modifiés au cours des 10 dernières minutes dans ledit répertoire. Cela conduirait au résultat donné par Cédric Julien: .config.

Utilisateur inconnu
la source