File tree 1 file changed +10
-0
lines changed
1 file changed +10
-0
lines changed Original file line number Diff line number Diff line change @@ -64,6 +64,7 @@ if [ ! -d "$cache_src_dir/.git" ]; then
64
64
git clone https://github.com/rust-lang/rust.git $cache_src_dir "
65
65
fi
66
66
retry sh -c " cd $cache_src_dir && git reset --hard && git pull"
67
+ (cd $cache_src_dir && git rm src/llvm)
67
68
retry sh -c " cd $cache_src_dir && \
68
69
git submodule deinit -f . && git submodule sync && git submodule update --init"
69
70
@@ -76,6 +77,15 @@ touch "$cache_valid_file"
76
77
# http://stackoverflow.com/questions/12641469/list-submodules-in-a-git-repository
77
78
modules=" $( git config --file .gitmodules --get-regexp ' \.path$' | cut -d' ' -f2) "
78
79
for module in $modules ; do
80
+ if [ " $module " = src/llvm ]; then
81
+ commit=" $( git ls-tree HEAD src/llvm | awk ' {print $3}' ) "
82
+ git rm src/llvm
83
+ curl -sSL -O " https://github.com/rust-lang/llvm/archive/$commit .tar.gz"
84
+ tar -C src/ -xf " $commit .tar.gz"
85
+ rm " $commit .tar.gz"
86
+ mv " src/llvm-$commit " src/llvm
87
+ continue
88
+ fi
79
89
if [ ! -d " $cache_src_dir /$module " ]; then
80
90
echo " WARNING: $module not found in pristine repo"
81
91
retry sh -c " git submodule deinit -f $module && git submodule update --init $module "
You can’t perform that action at this time.
0 commit comments