handle/make/config: add missing pipes for err

i forgot to add these! without them, the script will
always exit with an error

Signed-off-by: Leah Rowe <leah@libreboot.org>
btrfsvols
Leah Rowe 2023-08-27 13:44:55 +01:00
parent 0e6851c893
commit 93d2dcad2d
1 changed files with 1 additions and 1 deletions

View File

@ -224,7 +224,7 @@ check_config()
run_make_command()
{
./handle make file -c "${codedir}"
./handle make file -c "${codedir}" || \
fail "run_make_command: make distclean/clean failed"
cp "${config}" "${codedir}/.config" || \