ci: fix tidy

pietroalbini · pietroalbini · commit 67db2304771d · 2019-05-21T10:51:37.000+02:00
diff --git 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=""

Original file line number	Diff line number	Diff line change
`@@ -46,7 +46,8 @@ function fetch_github_commit_archive {`
`46`	`46`	`rm $cached`
`47`	`47`	`}`
`48`	`48`
`49`		`-included="src/llvm-project src/llvm-emscripten src/doc/book src/doc/rust-by-example src/tools/rustfmt"`
	`49`	`+included="src/llvm-project src/llvm-emscripten src/doc/book src/doc/rust-by-example"`
	`50`	`+included="${included} src/tools/rustfmt"`
`50`	`51`	`modules="$(git config --file .gitmodules --get-regexp '\.path$' \| cut -d' ' -f2)"`
`51`	`52`	`modules=($modules)`
`52`	`53`	`use_git=""`