diff options
| author | Samuel Holland <[email protected]> | 2024-03-18 13:49:40 -0700 |
|---|---|---|
| committer | Anup Patel <[email protected]> | 2024-04-07 12:05:37 +0530 |
| commit | 268feab2949a08743ffbb4afd9d40cdcafd78376 (patch) | |
| tree | b0812acda7a23f3371c8cf857edbd030ed40753b /lib/utils/timer | |
| parent | 29ecda9c2065afd3fb2f8cc465bc096d545d825e (diff) | |
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 <[email protected]>
Reviewed-by: Anup Patel <[email protected]>
Tested-by: Anup Patel <[email protected]>
Diffstat (limited to 'lib/utils/timer')
0 files changed, 0 insertions, 0 deletions