Update cargo dev serve command to look over the correct files

rust-lang · Sep 22, 2024 · 9661ba0 · 9661ba0
1 parent b522e7a
commit 9661ba0
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/clippy_dev/src/serve.rs b/clippy_dev/src/serve.rs
@@ -19,7 +19,9 @@ pub fn run(port: u16, lint: Option<String>) -> ! {
     });
 
     loop {
-        if mtime("util/gh-pages/index.html") < mtime("clippy_lints/src") {
+        let index_time = mtime("util/gh-pages/index.html");
+
+        if index_time < mtime("clippy_lints/src") || index_time < mtime("util/gh-pages/index_template.html") {
             Command::new(env::var("CARGO").unwrap_or("cargo".into()))
                 .arg("collect-metadata")
                 .spawn()