We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
2 parents e4dc892 + a7aa8bf commit 9d03956Copy full SHA for 9d03956
clippy_dev/src/serve.rs
@@ -20,8 +20,14 @@ pub fn run(port: u16, lint: Option<String>) -> ! {
20
21
loop {
22
let index_time = mtime("util/gh-pages/index.html");
23
+ let times = [
24
+ "clippy_lints/src",
25
+ "util/gh-pages/index_template.html",
26
+ "tests/compile-test.rs",
27
+ ]
28
+ .map(mtime);
29
- if index_time < mtime("clippy_lints/src") || index_time < mtime("util/gh-pages/index_template.html") {
30
+ if times.iter().any(|&time| index_time < time) {
31
Command::new(env::var("CARGO").unwrap_or("cargo".into()))
32
.arg("collect-metadata")
33
.spawn()
0 commit comments