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?

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


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.

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.