fix all-targets build

RalfJung · RalfJung · commit 0a63637e6640 · 2019-12-07T19:04:05.000+01:00
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
