diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2019-05-21 10:51:37 +0200 |
|---|---|---|
| committer | Pietro Albini <pietro@pietroalbini.org> | 2019-05-21 10:51:37 +0200 |
| commit | 67db2304771d3c7065a68f6a486048b770b8e63e (patch) | |
| tree | 308e04e6f8234a34c25bfcfa34233e22c4c34dc3 | |
| parent | 1daab471ce0d71fd0bf071a4bce0e19dd171f546 (diff) | |
| download | rust-67db2304771d3c7065a68f6a486048b770b8e63e.tar.gz rust-67db2304771d3c7065a68f6a486048b770b8e63e.zip | |
ci: fix tidy
| -rwxr-xr-x | src/ci/init_repo.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/ci/init_repo.sh b/src/ci/init_repo.sh index b1e4f931c44..10215d863be 100755 --- a/src/ci/init_repo.sh +++ b/src/ci/init_repo.sh @@ -46,7 +46,8 @@ function fetch_github_commit_archive { rm $cached } -included="src/llvm-project src/llvm-emscripten src/doc/book src/doc/rust-by-example src/tools/rustfmt" +included="src/llvm-project src/llvm-emscripten src/doc/book src/doc/rust-by-example" +included="${included} src/tools/rustfmt" modules="$(git config --file .gitmodules --get-regexp '\.path$' | cut -d' ' -f2)" modules=($modules) use_git="" |