diff --git a/Tools/check_submodules.sh b/Tools/check_submodules.sh index 4304070e58..8082491ee2 100755 --- a/Tools/check_submodules.sh +++ b/Tools/check_submodules.sh @@ -9,6 +9,7 @@ if [[ -f $1"/.git" || -d $1"/.git" ]]; then if [ "$CI" == "true" ] || [ -n "${VSCODE_PID+set}" ]; then git submodule --quiet sync --recursive -- $1 git submodule --quiet update --init --recursive --jobs=8 -- $1 || true + git submodule --quiet sync --recursive -- $1 git submodule --quiet update --init --recursive --jobs=8 -- $1 exit 0 fi @@ -51,6 +52,7 @@ if [[ -f $1"/.git" || -d $1"/.git" ]]; then else git submodule --quiet sync --recursive --quiet -- $1 git submodule --quiet update --init --recursive -- $1 || true + git submodule --quiet sync --recursive --quiet -- $1 git submodule --quiet update --init --recursive -- $1 fi