diff options
| author | flip1995 <philipp.krones@embecosm.com> | 2021-07-28 15:05:11 +0200 |
|---|---|---|
| committer | flip1995 <philipp.krones@embecosm.com> | 2021-07-28 15:05:11 +0200 |
| commit | c951a3c68daefb078d7e52e87e3cebbfa9a13f10 (patch) | |
| tree | 59f1b4ec1431a051067a355a6244c9231691e0ef | |
| parent | fe25282aaa656dda273d5913430a20a450cf11a3 (diff) | |
| download | rust-c951a3c68daefb078d7e52e87e3cebbfa9a13f10.tar.gz rust-c951a3c68daefb078d7e52e87e3cebbfa9a13f10.zip | |
Run cargo collect-metadata in cargo dev serve
| -rw-r--r-- | clippy_dev/src/serve.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/clippy_dev/src/serve.rs b/clippy_dev/src/serve.rs index d13c27a1957..b36e2a28ee4 100644 --- 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() |