diff options
| author | Zalathar <Zalathar@users.noreply.github.com> | 2024-09-12 12:42:23 +1000 |
|---|---|---|
| committer | Zalathar <Zalathar@users.noreply.github.com> | 2024-09-12 12:47:55 +1000 |
| commit | ed9b2bac36d93cdc8532f6bb86b9b8591f0a79e1 (patch) | |
| tree | 72621c2023cc34e50b0bb48ac4927c723494ee77 /src/tools/compiletest | |
| parent | 3afb2bb76ce56e860e45d8858ef5b5f00059e1b1 (diff) | |
| download | rust-ed9b2bac36d93cdc8532f6bb86b9b8591f0a79e1.tar.gz rust-ed9b2bac36d93cdc8532f6bb86b9b8591f0a79e1.zip | |
Re-run coverage tests if `coverage-dump` was modified
Diffstat (limited to 'src/tools/compiletest')
| -rw-r--r-- | src/tools/compiletest/src/lib.rs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/tools/compiletest/src/lib.rs b/src/tools/compiletest/src/lib.rs index 5fe73a0e297..250b5084d13 100644 --- a/src/tools/compiletest/src/lib.rs +++ b/src/tools/compiletest/src/lib.rs @@ -647,6 +647,12 @@ fn common_inputs_stamp(config: &Config) -> Stamp { stamp.add_path(&rust_src_dir.join("src/etc/htmldocck.py")); } + // Re-run coverage tests if the `coverage-dump` tool was modified, + // because its output format might have changed. + if let Some(coverage_dump_path) = &config.coverage_dump_path { + stamp.add_path(coverage_dump_path) + } + stamp.add_dir(&rust_src_dir.join("src/tools/run-make-support")); // Compiletest itself. |