make-dist: Quiet submodule operations in Jenkins

Signed-off-by: Zack Cerza <[email protected]>
ronen-fr · Nov 8, 2024 · 80674a3 · 80674a3
1 parent 94505eb
commit 80674a3
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/make-dist b/make-dist
@@ -35,7 +35,8 @@ echo "version $version"
 # update submodules
 echo "updating submodules..."
 force=$(if git submodule usage 2>&1 | grep --quiet 'update.*--force'; then echo --force ; fi)
-if ! git submodule sync || ! git submodule update $force --init --recursive --progress; then
+quiet_or_progress=$(if test -n "$JENKINS_URL"; then echo --quiet; else echo --progress; fi)
+if ! git submodule sync || ! git submodule update $force --init --recursive $quiet_or_progress; then
     echo "Error: could not initialize submodule projects"
     echo "  Network connectivity might be required."
     exit 1