File tree 1 file changed +7
-10
lines changed
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 {
36
36
rm $cached
37
37
}
38
38
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"
43
40
modules=" $( git config --file .gitmodules --get-regexp ' \.path$' | cut -d' ' -f2) "
44
41
modules=($modules )
45
42
use_git=" "
63
60
retry sh -c " git submodule deinit -f $use_git && \
64
61
git submodule sync && \
65
62
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