diff options
| author | Jakub Beránek <berykubik@gmail.com> | 2025-06-08 21:19:24 +0200 |
|---|---|---|
| committer | Jakub Beránek <berykubik@gmail.com> | 2025-06-09 08:17:56 +0200 |
| commit | cb9980133cbb670387a597c349397cd38f52edee (patch) | |
| tree | 4ecfdbb716e9eec0dc9912182bd2dd109f92283b /src/ci/scripts | |
| parent | 334ba812755b974ecc46713fcdd38836b6182746 (diff) | |
| download | rust-cb9980133cbb670387a597c349397cd38f52edee.tar.gz rust-cb9980133cbb670387a597c349397cd38f52edee.zip | |
Do not checkout GCC submodule for the tidy job
Diffstat (limited to 'src/ci/scripts')
| -rwxr-xr-x | src/ci/scripts/checkout-submodules.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/ci/scripts/checkout-submodules.sh b/src/ci/scripts/checkout-submodules.sh index 5bb343241ae..3b646587dc2 100755 --- a/src/ci/scripts/checkout-submodules.sh +++ b/src/ci/scripts/checkout-submodules.sh @@ -55,7 +55,11 @@ for i in ${!modules[@]}; do bg_pids[${i}]=$! continue else + # Submodule paths contained in SKIP_SUBMODULES (comma-separated list) will not be + # checked out. + if [ -z "${SKIP_SUBMODULES:-}" ] || [[ ! ",$SKIP_SUBMODULES," = *",$module,"* ]]; then use_git="$use_git $module" + fi fi done retry sh -c "git submodule deinit -f $use_git && \ |