diff options
| -rwxr-xr-x | script/trees | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/script/trees b/script/trees index ce590bdd..de9cc869 100755 --- a/script/trees +++ b/script/trees @@ -196,7 +196,7 @@ check_coreboot_utils() x_ mkdir -p "$utilelfdir" && \ x_ cp "$utilsrcdir/$util" "elf/$util/$1" [ -z "$mode" ] || x_ rm -Rf "$utilelfdir" - done + done; return 0 } check_config() |