diff options
| author | Ralf Jung <post@ralfj.de> | 2025-01-26 07:11:43 -0700 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2025-01-26 07:11:43 -0700 |
| commit | c688ecf4680b18734690159de7ba1ebf0c7e4026 (patch) | |
| tree | 8db5894ece32ab3228cf11299b855c55cc1ce76e | |
| parent | 06db6bba3b6f9853d692cc20ade7fbc121e27573 (diff) | |
prevent weird macOS linker errors from breaking the build
| -rwxr-xr-x | src/tools/miri/ci/ci.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/tools/miri/ci/ci.sh b/src/tools/miri/ci/ci.sh index 5583030b490..fb3fc621565 100755 --- a/src/tools/miri/ci/ci.sh +++ b/src/tools/miri/ci/ci.sh @@ -14,7 +14,9 @@ function endgroup { begingroup "Building Miri" # Global configuration -export RUSTFLAGS="-D warnings" +# We are getting some odd linker warnings on macOS, make sure they do not fail the build. +# (See <https://github.com/rust-lang/rust/issues/136086>.) +export RUSTFLAGS="-D warnings -A linker-messages" export CARGO_INCREMENTAL=0 export CARGO_EXTRA_FLAGS="--locked" |