From c6f5b5f557e9df51822c27c82543ca371224ac6d Mon Sep 17 00:00:00 2001
From: Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de>
Date: Fri, 7 Jul 2023 13:42:38 +0000
Subject: [PATCH] MIRIFLAGS are already passed in the `./miri` wrapper

---
 src/tools/miri/tests/compiletest.rs | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/src/tools/miri/tests/compiletest.rs b/src/tools/miri/tests/compiletest.rs
index e4b8da1228f..2f3f51101b6 100644
--- a/src/tools/miri/tests/compiletest.rs
+++ b/src/tools/miri/tests/compiletest.rs
@@ -277,11 +277,6 @@ fn run_dep_mode(target: String, mut args: impl Iterator<Item = OsString>) -> Res
     config.program.args.clear(); // We want to give the user full control over flags
     config.build_dependencies_and_link_them()?;
 
-    if let Ok(extra_flags) = env::var("MIRIFLAGS") {
-        for flag in extra_flags.split_whitespace() {
-            config.program.args.push(flag.into());
-        }
-    }
     let mut cmd = config.program.build(&config.out_dir);
 
     cmd.arg(path);