diff options
| -rwxr-xr-x | script/update/trees | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/script/update/trees b/script/update/trees index 76cfa571..00ba83f1 100755 --- a/script/update/trees +++ b/script/update/trees @@ -210,9 +210,8 @@ run_make_command() [ -z "$mode" ] && check_autoconf "$codedir" check_makefile "$codedir" || return 1 - [ "$project" = "coreboot" ] && [ -z "$mode" ] && \ - x_ printf "%s\n" "${version%%-*}" \ - > "${codedir}/.coreboot-version" + [ "$project" = "coreboot" ] && [ -z "$mode" ] && x_ \ + printf "%s\n" "${version%%-*}" > "$codedir/.coreboot-version" make $mode -j$(nproc) $makeargs -C "$codedir" || \ err "run_make $codedir: !make $mode" |