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
?
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:
En général, après un make menuconfig
ou make config
, le .config
fichier 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
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.
menuconfig
) est déplacé vers.config.old
.