summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xscript/trees3
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"