Fix miri test

jonhoo · Dec 22, 2020 · 9c727fe · 9c727fe
1 parent bc7ae95
commit 9c727fe
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/azure-pipelines.yml b/azure-pipelines.yml
@@ -13,7 +13,7 @@ jobs:
          components:
            - miri
      # ignore leaks due to https://github.com/crossbeam-rs/crossbeam/issues/464
-     - bash: yes | cargo miri -Zmiri-ignore-leaks test
+     - bash: MIRIFLAGS="-Zmiri-ignore-leaks" cargo miri test
        displayName: cargo miri test
  - job: asan
    displayName: "Run address sanitizer on test suite"