No linux, achei que o arquivo Makefile foi alterado depois de executar make menuconfig .
Mas quando difundo Makefile , não vejo diferença.
Qual arquivo é alterado depois que eu faço make menuconfig ?
Em geral, após um make menuconfig ou make config , o arquivo .config é alterado. Este arquivo descreve quais opções são escolhidas e diz ao make e ao Makefile qual arquivo compilar e quais opções ativar.
Como dito por @Lekensteyn, o arquivo de configuração anterior será renomeado em .config.old
Em geral, você pode usar
find /usr/src/linux -mmin -10
para encontrar arquivos, modificados nos últimos 10 Minutos no referido diretório. Isso levaria ao resultado que Cédric Julien deu: .config.