disable randomize-layout for now

rust-lang · Apr 26, 2024 · 35987a7 · 35987a7
1 parent 1462ef9
commit 35987a7
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/ci-test.sh b/ci-test.sh
@@ -1,7 +1,8 @@
 #!/bin/bash
 set -euo pipefail
 
-DEFAULTFLAGS="-Zrandomize-layout -Zmiri-strict-provenance"
+# -Zrandomize-layout disabled for now due to <https://github.com/rust-lang/rust/issues/124409>.
+DEFAULTFLAGS="-Zmiri-strict-provenance"
 
 # apply our patch
 rm -rf rust-src-patched