From df3d7ff5c01b6034b47b9b157e87cb92d8880741 Mon Sep 17 00:00:00 2001
From: Taiki Endo <te316e89@gmail.com>
Date: Fri, 9 Oct 2020 23:47:25 +0900
Subject: [PATCH] try -Zmiri-disable-isolation

---
 ci/crossbeam-epoch.sh    | 2 +-
 ci/crossbeam-skiplist.sh | 2 +-
 ci/miri.sh               | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/ci/crossbeam-epoch.sh b/ci/crossbeam-epoch.sh
index 9f41f134f..3ed78629e 100755
--- a/ci/crossbeam-epoch.sh
+++ b/ci/crossbeam-epoch.sh
@@ -23,5 +23,5 @@ if [[ "$RUST_VERSION" == "nightly"* ]]; then
             --example sanitize
     fi
 
-    ./../ci/miri.sh -- -Zmiri-disable-stacked-borrows
+    ./../ci/miri.sh -Zmiri-disable-stacked-borrows
 fi
diff --git a/ci/crossbeam-skiplist.sh b/ci/crossbeam-skiplist.sh
index 94f66f2bb..fa6cbae4f 100755
--- a/ci/crossbeam-skiplist.sh
+++ b/ci/crossbeam-skiplist.sh
@@ -13,5 +13,5 @@ if [[ "$RUST_VERSION" == "nightly"* ]]; then
 
     RUSTDOCFLAGS=-Dwarnings cargo doc --no-deps --all-features
 
-    # ./../ci/miri.sh -- -Zmiri-disable-stacked-borrows
+    # ./../ci/miri.sh -Zmiri-disable-stacked-borrows
 fi
diff --git a/ci/miri.sh b/ci/miri.sh
index 64ba96b3e..a7518853b 100755
--- a/ci/miri.sh
+++ b/ci/miri.sh
@@ -14,4 +14,4 @@ rustup update "$MIRI_NIGHTLY"
 rustup default "$MIRI_NIGHTLY"
 rustup component add miri
 
-cargo miri test "${@}"
+cargo miri test -- -Zmiri-disable-isolation "${@}"