make *_defconfig does not handle modified *_defconfig files

[Nuno GonÃalves]

Hi,

Considering i have arch/arm/configs/abc_defconfig, I can run "make
abc_defconfig" repeatedly, and always get output

# configuration written to .config

or

# No change to .config

But if I now change arch/arm/configs/abc_defconfig, even just the
modification date, then "make abc_defconfig" no longer works. I need
to make clean or delete a file to trigger it (eg
scripts/kconfig/symbol.o).

Thanks,
Nuno