Auto merge of #7782 - dswij:shadow-unrelated-block, r=flip1995

[rust.git] / clippy_dev / src / serve.rs

diff --git a/clippy_dev/src/serve.rs b/clippy_dev/src/serve.rs
index d13c27a1957d60170f48f866120e17d070376fd1..b36e2a28ee45450a589c1c93035c0f77b2d1edb7 100644 (file)
--- a/clippy_dev/src/serve.rs
+++ b/clippy_dev/src/serve.rs
@@ -15,8 +15,8 @@ pub fn run(port: u16, lint: Option<&str>) -> ! {
 
     loop {
         if mtime("util/gh-pages/lints.json") < mtime("clippy_lints/src") {
-            Command::new("python3")
-                .arg("util/export.py")
+            Command::new("cargo")
+                .arg("collect-metadata")
                 .spawn()
                 .unwrap()
                 .wait()