From f99847d6eca0977d6f987baa7846c62a0613ba35 Mon Sep 17 00:00:00 2001 From: Martin Habovstiak Date: Fri, 14 Feb 2025 13:54:37 +0100 Subject: [PATCH] Do not enable `soft-float` when running `miri` To ensure that all target features are tested we simply enable all of them. However some of them are problematic. We already have an exception to not enable `crt-static`. This change also adds `soft-float` to the list because `miri` was warning about it being UB. --- contrib/test-miri.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/contrib/test-miri.sh b/contrib/test-miri.sh index 6ca2dab51..5e979a6f4 100755 --- a/contrib/test-miri.sh +++ b/contrib/test-miri.sh @@ -6,7 +6,7 @@ cd "$(dirname "$0")/.." . contrib/test_vars.sh -target_features="$(rustc --print target-features | awk '{ if ($1 == "") { exit 0 } if (NR != 1 && $1 != "crt-static") { if (NR == 2) { printf "+%s", $1 } else { printf ",+%s", $1 } } }')" +target_features="$(rustc --print target-features | awk '{ if ($1 == "") { exit 0 } if (NR != 1 && $1 != "crt-static" && $1 != "soft-float") { if (NR == 2) { printf "+%s", $1 } else { printf ",+%s", $1 } } }')" for crate in $CRATES; do