From f34db4b2276f7b6129d2c8c270a65c4f88bae5d7 Mon Sep 17 00:00:00 2001 From: Taiki Endo Date: Fri, 9 Oct 2020 23:59:20 +0900 Subject: [PATCH] try -Zmiri-disable-isolation and -Zmiri-ignore-leaks --- ci/crossbeam-epoch.sh | 2 +- ci/crossbeam-skiplist.sh | 2 +- ci/crossbeam-utils.sh | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/ci/crossbeam-epoch.sh b/ci/crossbeam-epoch.sh index 9f41f134f..11ed01b0d 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 -Zmiri-ignore-leaks fi diff --git a/ci/crossbeam-skiplist.sh b/ci/crossbeam-skiplist.sh index 94f66f2bb..ac7da432b 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 -Zmiri-ignore-leaks fi diff --git a/ci/crossbeam-utils.sh b/ci/crossbeam-utils.sh index 12734ede1..11fc9d7f1 100755 --- a/ci/crossbeam-utils.sh +++ b/ci/crossbeam-utils.sh @@ -13,5 +13,5 @@ if [[ "$RUST_VERSION" == "nightly"* ]]; then RUSTDOCFLAGS=-Dwarnings cargo doc --no-deps --all-features - ./../ci/miri.sh + ./../ci/miri.sh -- -Zmiri-disable-isolation fi