about summary refs log tree commit diff
path: root/src/ci/scripts
diff options
context:
space:
mode:
authorPietro Albini <pietro.albini@ferrous-systems.com>2023-01-10 16:06:19 +0100
committerPietro Albini <pietro.albini@ferrous-systems.com>2023-01-10 16:32:00 +0100
commit59e3737669380e2fee03afe72ef733cbd7afe55b (patch)
tree2ac58da527be01c1c5960047f2321dfbb170dc3c /src/ci/scripts
parent69f9c33d71c871fc16ac445211281c6e7a340943 (diff)
disable fast submodule checkout due to spurious ci failures
Diffstat (limited to 'src/ci/scripts')
-rwxr-xr-xsrc/ci/scripts/checkout-submodules.sh15
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}