diff options
author | Patrick Georgi <patrick@coreboot.org> | 2023-11-28 12:08:45 +0100 |
---|---|---|
committer | Patrick Georgi <patrick@coreboot.org> | 2023-11-30 17:45:50 +0000 |
commit | 1cc6c54d9fd336ed611ccda87494515140db4909 (patch) | |
tree | 88ad8a4ea7e6c62bfb82f486c6acc7d7df684560 /util/me_cleaner/man/me_cleaner.1 | |
parent | 132783baf842a3549636096fa24957927345f33b (diff) |
build system: Exempt `make *config` from strict symbol checks
The "config" targets exist to edit the .config file, and so they
should be more forgiving with invalid configs (that they'll convert
into valid configs on save). They will still emit warnings about
invalid symbols, but not exit with an error.
The regular build process still fails if the .config looks unexpected
(for example when there's an unknown config flag).
Change-Id: If427e075766c68d493dd406609f21b6bb27d1d74
Signed-off-by: Patrick Georgi <patrick@coreboot.org>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/79298
Reviewed-by: Mike Banon <mikebdp2@gmail.com>
Reviewed-by: Felix Singer <service+coreboot-gerrit@felixsinger.de>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Martin L Roth <gaumless@gmail.com>
Diffstat (limited to 'util/me_cleaner/man/me_cleaner.1')
0 files changed, 0 insertions, 0 deletions