tree b0812acda7a23f3371c8cf857edbd030ed40753b
parent 29ecda9c2065afd3fb2f8cc465bc096d545d825e
author Samuel Holland <samuel.holland@sifive.com> 1710794980 -0700
committer Anup Patel <anup@brainfault.org> 1712471737 +0530

Makefile: Respect manual changes to .config

The .config file may be manually edited or copied from another location.
Since genconfig.py is responsible for generating auto.conf (the Makefile
fragment) and autoconf.h (the C header) from .config, it must be run any
time .config changes, not just when running menuconfig.

Fixes: 662e631ccef2 ("Makefile: Add initial kconfig support for each platform")
Signed-off-by: Samuel Holland <samuel.holland@sifive.com>
Reviewed-by: Anup Patel <anup@brainfault.org>
Tested-by: Anup Patel <anup@brainfault.org>