Run cargo collect-metadata in cargo dev serve
This commit is contained in:
parent
fe25282aaa
commit
c951a3c68d
1 changed files with 2 additions and 2 deletions
|
@ -15,8 +15,8 @@ pub fn run(port: u16, lint: Option<&str>) -> ! {
|
||||||
|
|
||||||
loop {
|
loop {
|
||||||
if mtime("util/gh-pages/lints.json") < mtime("clippy_lints/src") {
|
if mtime("util/gh-pages/lints.json") < mtime("clippy_lints/src") {
|
||||||
Command::new("python3")
|
Command::new("cargo")
|
||||||
.arg("util/export.py")
|
.arg("collect-metadata")
|
||||||
.spawn()
|
.spawn()
|
||||||
.unwrap()
|
.unwrap()
|
||||||
.wait()
|
.wait()
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue