fix all-targets build

rust-lang · Dec 7, 2019 · 0a63637 · 0a63637
1 parent e92d16d
commit 0a63637
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/benches/helpers/miri_helper.rs b/benches/helpers/miri_helper.rs
@@ -28,6 +28,7 @@ impl rustc_driver::Callbacks for MiriCompilerCalls<'_> {
                 let config = miri::MiriConfig {
                     validate: true,
                     communicate: false,
+                    ignore_leaks: false,
                     excluded_env_vars: vec![],
                     args: vec![],
                     seed: None,

diff --git a/src/bin/miri-rustc-tests.rs b/src/bin/miri-rustc-tests.rs
@@ -41,6 +41,7 @@ impl rustc_driver::Callbacks for MiriCompilerCalls {
                                 let config = MiriConfig {
                                     validate: true,
                                     communicate: false,
+                                    ignore_leaks: false,
                                     excluded_env_vars: vec![],
                                     args: vec![],
                                     seed: None,
@@ -60,6 +61,7 @@ impl rustc_driver::Callbacks for MiriCompilerCalls {
                 let config = MiriConfig {
                     validate: true,
                     communicate: false,
+                    ignore_leaks: false,
                     excluded_env_vars: vec![],
                     args: vec![],
                     seed: None