From 14d3f98f98b506624d89b187cc81c953fe7e77d5 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Tue, 20 Apr 2021 15:45:11 +0200
Subject: [PATCH] fix Miri flag passing

---
 tests/RustTest.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/RustTest.sh b/tests/RustTest.sh
index eb21e9f7db3..7a7894ad64d 100755
--- a/tests/RustTest.sh
+++ b/tests/RustTest.sh
@@ -63,5 +63,5 @@ fi
 # RUST_NIGHTLY environment variable set in dockerfile.
 if [[ $RUST_NIGHTLY == 1 ]]; then
   rustup +nightly component add miri
-  cargo +nightly miri test -- -Zmiri-disable-isolation
+  MIRIFLAGS="-Zmiri-disable-isolation" cargo +nightly miri test
 fi