update JSON target spec to declare softfloat ABI

2025-02-04 12:05:02 +01:00 · 2025-02-04 12:05:02 +01:00 · 8f1c4a33b7
commit 8f1c4a33b7
parent cf4be3f39d
1 changed files with 1 additions and 0 deletions
--- a/src/tools/miri/tests/x86_64-unknown-kernel.json
+++ b/src/tools/miri/tests/x86_64-unknown-kernel.json
@ -10,6 +10,7 @@
  "vendor": "unknown",
  "linker": "rust-lld",
  "linker-flavor": "gnu-lld",
+  "rustc-abi": "x86-softfloat",
  "features": "-mmx,-sse,-sse2,-sse3,-ssse3,-sse4.1,-sse4.2,-avx,-avx2,+soft-float",
  "dynamic-linking": false,
  "executables": true,