summaryrefslogtreecommitdiff
path: root/resources
diff options
context:
space:
mode:
authorLeah Rowe <leah@libreboot.org>2023-08-27 13:44:55 +0100
committerLeah Rowe <leah@libreboot.org>2023-08-27 13:44:55 +0100
commit93d2dcad2d8b03eab613404e8c7c4209f250c70d (patch)
tree8ffdfcb5bfbc81b03ea61dfda0190478c915c364 /resources
parent0e6851c893a4ee22bbae0c42aef9b2b4a03d7834 (diff)
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>
Diffstat (limited to 'resources')
-rwxr-xr-xresources/scripts/handle/make/config2
1 files changed, 1 insertions, 1 deletions
diff --git a/resources/scripts/handle/make/config b/resources/scripts/handle/make/config
index 6bbc0b04..1ab0864b 100755
--- a/resources/scripts/handle/make/config
+++ b/resources/scripts/handle/make/config
@@ -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" || \