Quale file viene modificato dopo aver eseguito "make menuconfig"?

8

In Linux, ho pensato che il file Makefilefosse cambiato dopo l'esecuzione make menuconfig.

Ma quando diffondo Makefile, non vedo alcuna differenza.

Quale file viene modificato dopo averlo fatto make menuconfig?

kernel makefile

— Anders Lind
fonte

12

In generale, dopo un make menuconfigo make config, il .configfile viene modificato. Questo file descrive quali opzioni sono state scelte e indica a make e Makefile quale file compilare e quali opzioni attivare.

Come detto da @Lekensteyn, il precedente file di configurazione verrà rinominato in .config.old

— Cédric Julien
fonte

4

Può essere utile sapere che il precedente file .config (prima di eseguire target simili menuconfig) viene spostato in .config.old.

— Lekensteyn,

9

In generale, è possibile utilizzare

find /usr/src/linux -mmin -10

per trovare i file, modificati negli ultimi 10 minuti da soli nella suddetta directory. Ciò porterebbe al risultato dato da Cédric Julien: .config.

— utente sconosciuto
fonte