diff options
author | Samuel Holland <samuel.holland@sifive.com> | 2024-03-18 13:49:40 -0700 |
---|---|---|
committer | Anup Patel <anup@brainfault.org> | 2024-04-07 12:05:37 +0530 |
commit | 268feab2949a08743ffbb4afd9d40cdcafd78376 (patch) | |
tree | b0812acda7a23f3371c8cf857edbd030ed40753b /lib | |
parent | 29ecda9c2065afd3fb2f8cc465bc096d545d825e (diff) | |
download | opensbi-268feab2949a08743ffbb4afd9d40cdcafd78376.zip opensbi-268feab2949a08743ffbb4afd9d40cdcafd78376.tar.gz opensbi-268feab2949a08743ffbb4afd9d40cdcafd78376.tar.bz2 |
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>
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions