diff options
| author | Pietro Albini <pietro.albini@ferrous-systems.com> | 2023-01-10 16:06:19 +0100 |
|---|---|---|
| committer | Pietro Albini <pietro.albini@ferrous-systems.com> | 2023-01-10 16:32:00 +0100 |
| commit | 59e3737669380e2fee03afe72ef733cbd7afe55b (patch) | |
| tree | 2ac58da527be01c1c5960047f2321dfbb170dc3c /src/ci/scripts | |
| parent | 69f9c33d71c871fc16ac445211281c6e7a340943 (diff) | |
disable fast submodule checkout due to spurious ci failures
Diffstat (limited to 'src/ci/scripts')
| -rwxr-xr-x | src/ci/scripts/checkout-submodules.sh | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/src/ci/scripts/checkout-submodules.sh b/src/ci/scripts/checkout-submodules.sh index f6cb8f8a6da..5bb343241ae 100755 --- a/src/ci/scripts/checkout-submodules.sh +++ b/src/ci/scripts/checkout-submodules.sh @@ -36,7 +36,8 @@ function fetch_github_commit_archive { rm $cached } -included="src/llvm-project src/doc/book src/doc/rust-by-example" +#included="src/llvm-project src/doc/book src/doc/rust-by-example" +included="" modules="$(git config --file .gitmodules --get-regexp '\.path$' | cut -d' ' -f2)" modules=($modules) use_git="" @@ -60,9 +61,9 @@ done retry sh -c "git submodule deinit -f $use_git && \ git submodule sync && \ git submodule update -j 16 --init --recursive --depth 1 $use_git" -STATUS=0 -for pid in ${bg_pids[*]} -do - wait $pid || STATUS=1 -done -exit ${STATUS} +#STATUS=0 +#for pid in ${bg_pids[*]} +#do +# wait $pid || STATUS=1 +#done +#exit ${STATUS} |
