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>
btrfsvols
Leah Rowe 2023-09-02 17:02:17 +01:00
parent 3c7b09ace9
commit 436b2ccb5a
1 changed files with 4 additions and 0 deletions

View File

@ -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()