summaryrefslogtreecommitdiff
path: root/script/handle/make
diff options
context:
space:
mode:
authorLeah Rowe <leah@libreboot.org>2023-09-02 17:02:17 +0100
committerLeah Rowe <leah@libreboot.org>2023-09-02 17:02:17 +0100
commit436b2ccb5a619f41e41d973ada417d47cb7839dd (patch)
tree77e6ccaf76101bdd4c6ecc93144949d57d62781e /script/handle/make
parent3c7b09ace9b44f80453cb1e462a8fa468b3048ce (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/handle/make')
-rwxr-xr-xscript/handle/make/config4
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()