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