Download clang-tools-extra as well

[rust.git] / .gitmodules

diff --git a/.gitmodules b/.gitmodules
index 329fdd5d1e4238250f03f7acc30659d40532e860..2802c8d63913f8aa43a39628e2877e81d9ee98ff 100644 (file)
--- a/.gitmodules
+++ b/.gitmodules
@@ -38,4 +38,7 @@
        url = https://github.com/rust-lang-nursery/rust-clippy.git
 [submodule "src/tools/rustfmt"]
        path = src/tools/rustfmt
-       url = git@github.com:rust-lang-nursery/rustfmt.git
+       url = https://github.com/rust-lang-nursery/rustfmt.git
+[submodule "src/tools/miri"]
+       path = src/tools/miri
+       url = https://github.com/solson/miri.git