s: unset AXIS_DEVICE_IP when running miri

AxisCommunications · Dec 19, 2024 · 95d303e · 95d303e
1 parent 98a6917
commit 95d303e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -211,6 +211,7 @@ check_lint:
 ## Check that risky FFI patterns are sound using miri
 check_miri:
 	rustup +nightly component add miri
+	AXIS_DEVICE_IP="" \
 	cargo +nightly miri test \
 		--package ffi_patterns \
 		--target aarch64-unknown-linux-gnu \