diff options
| author | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2023-05-11 08:33:01 +0000 |
|---|---|---|
| committer | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2023-05-11 08:33:01 +0000 |
| commit | 3f7d620440afee6a2e99b4a2f939e0a72a8e9254 (patch) | |
| tree | ef87d293d77bc4f9164156ab6e33166193751a78 | |
| parent | 2c88ee8e45b50c4878e24a3baba2d386148edb1b (diff) | |
Emit the compiler flags again
| -rw-r--r-- | src/tools/miri/tests/compiletest.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/tools/miri/tests/compiletest.rs b/src/tools/miri/tests/compiletest.rs index fe70ab3f45a..e6388c56331 100644 --- a/src/tools/miri/tests/compiletest.rs +++ b/src/tools/miri/tests/compiletest.rs @@ -140,6 +140,8 @@ fn run_tests(mode: Mode, path: &str, target: &str, with_dependencies: bool) -> R "run".into(), // There is no `cargo miri build` so we just use `cargo miri run`. ]; } + + eprintln!(" Compiler: {}", config.program.display()); ui_test::run_tests_generic( config, // The files we're actually interested in (all `.rs` files). |