diff --git a/Tools/check_submodules.sh b/Tools/check_submodules.sh index f245c9ba0f164e179a949523ba30c39cc5b7649c..be1ce97372c7c16cdfb0ccbd8979c1804a06fd1a 100755 --- a/Tools/check_submodules.sh +++ b/Tools/check_submodules.sh @@ -8,8 +8,8 @@ if [[ -f $1"/.git" || -d $1"/.git" ]]; then # CI environment always update if [ "$CI" == "true" ]; then git submodule --quiet sync --recursive -- $1 - git submodule --quiet update --init --recursive -- $1 || true - git submodule --quiet update --init --recursive -- $1 + git submodule --quiet update --init --recursive --jobs=8 -- $1 || true + git submodule --quiet update --init --recursive --jobs=8 -- $1 exit 0 fi