From a8717f09ac8b50fbe75b5bedfb7d454d2afaab2a Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Wed, 11 May 2022 23:06:27 +0100
Subject: [PATCH] Makefile: Always run miri on nightly

It's not stable.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 Makefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index e3244374..45c8f096 100644
--- a/Makefile
+++ b/Makefile
@@ -142,6 +142,7 @@ WASM := wasm32-unknown-unknown
 # ?  But maybe it doesn't matter since we're very conservative and
 # only pass JsValue and a few strings across the WASM ABI.
 
+RUST_NIGHTLY_VERSION ?= +nightly
 CARGO = $(CARGO_CMD) $(RUST_VERSION)
 
 #---------- toplevel aggregate targets ----------
@@ -223,7 +224,8 @@ stamp/cargo.%-check: $(call rsrcs,.)
 	$(stamp)
 
 stamp/cargo.%-miri: $(call rsrcs,.)
-	$(CARGO) miri test --workspace $(call cr,$*)
+	$(CARGO_CMD) $(RUST_NIGHTLY_VERSION) \
+		miri test --workspace $(call cr,$*)
 	$(stamp)
 
 stamp/cargo-at.debug: $(call rsrcs,.)
-- 
2.30.2