File tree Expand file tree Collapse file tree 1 file changed +7
-10
lines changed Expand file tree Collapse file tree 1 file changed +7
-10
lines changed Original file line number Diff line number Diff line change @@ -36,10 +36,7 @@ function fetch_github_commit_archive {
3636 rm $cached
3737}
3838
39- # Archive downloads are temporarily disabled due to sudden 504
40- # gateway timeout errors.
41- # included="src/llvm-project src/doc/book src/doc/rust-by-example"
42- included=" "
39+ included=" src/llvm-project src/doc/book src/doc/rust-by-example"
4340modules=" $( git config --file .gitmodules --get-regexp ' \.path$' | cut -d' ' -f2) "
4441modules=($modules )
4542use_git=" "
6360retry sh -c " git submodule deinit -f $use_git && \
6461 git submodule sync && \
6562 git submodule update -j 16 --init --recursive --depth 1 $use_git "
66- # STATUS=0
67- # for pid in ${bg_pids[*]}
68- # do
69- # wait $pid || STATUS=1
70- # done
71- # exit ${STATUS}
63+ STATUS=0
64+ for pid in ${bg_pids[*]}
65+ do
66+ wait $pid || STATUS=1
67+ done
68+ exit ${STATUS}
You can’t perform that action at this time.
0 commit comments