From 7bd22c62eac86a8e0d3426b5a4c790e9850e5843 Mon Sep 17 00:00:00 2001
From: Jon Gjengset <jon@thesquareplanet.com>
Date: Wed, 29 Jan 2020 10:44:13 -0500
Subject: [PATCH] Ignore memory leaks from miri

These are probably spurious; see
https://github.com/crossbeam-rs/crossbeam/issues/464
and
https://github.com/spacejam/sled/pull/937#issuecomment-578556658

And besides, we're now running both the leak sanitizer and the address
sanitizer.
---
 azure-pipelines.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index 71945e7f..a6ce674b 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -41,7 +41,7 @@ jobs:
          rust: nightly
          components:
            - miri
-     - bash: yes | cargo miri test
+     - bash: yes | env RUSTFLAGS="-Zmiri-ignore-leaks" cargo miri test
        displayName: cargo miri test
  - job: asan
    dependsOn: deny