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 "${@}"