diff options
| -rwxr-xr-x | script/trees | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/script/trees b/script/trees index f4a3bf82..dba3e0f7 100755 --- a/script/trees +++ b/script/trees @@ -215,7 +215,7 @@ run_make_command() [ "$project" = "coreboot" ] && [ -z "$mode" ] && x_ \ printf "%s\n" "${version%%-*}" > "$codedir/.coreboot-version" - make $mode -j$threads $makeargs -C "$codedir" || \ + make -C "$codedir" $mode -j$threads $makeargs || \ $err "run_make $codedir: !make $mode" [ "$mode" != "clean" ] && return 0 |