diff options
| author | Leah Rowe <leah@libreboot.org> | 2023-09-02 17:02:17 +0100 |
|---|---|---|
| committer | Leah Rowe <leah@libreboot.org> | 2023-09-02 17:02:17 +0100 |
| commit | 436b2ccb5a619f41e41d973ada417d47cb7839dd (patch) | |
| tree | 77e6ccaf76101bdd4c6ecc93144949d57d62781e /script | |
| parent | 3c7b09ace9b44f80453cb1e462a8fa468b3048ce (diff) | |
handle/make/config -m/-u: actually copy configs
they weren't being copied back, after running the
make command. i overlooked this when testing in
the previous optimisations, because i only tested
building, not modification or updating of configs
Signed-off-by: Leah Rowe <leah@libreboot.org>
Diffstat (limited to 'script')
| -rwxr-xr-x | script/handle/make/config | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/script/handle/make/config b/script/handle/make/config index d976e529..1b395600 100755 --- a/script/handle/make/config +++ b/script/handle/make/config @@ -240,6 +240,10 @@ run_make_command() fi make -C "${codedir}" -j$(nproc) ${mode} || \ fail "run_make_command: make-all: ${codedir} (${project}/${target})" + if [ "${mode}" = "oldconfig" ] || [ "${mode}" = "menuconfig" ]; then + cp "${codedir}/.config" "${config}" || \ + fail "run_make: can't edit config: ${project}/${target}" + fi } copy_elf() |