diff options
| author | Ralf Jung <post@ralfj.de> | 2025-01-28 03:36:45 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2025-01-28 03:36:45 +0100 |
| commit | 051829eb18b27a4ffab2309901d7bc07bf0e665d (patch) | |
| tree | ae1959177f20bb0771b7126ba5b948fa32a8dcf6 | |
| parent | 7bd29f8efcfb89a017ef15846bf760395bcfca4c (diff) | |
| download | rust-051829eb18b27a4ffab2309901d7bc07bf0e665d.tar.gz rust-051829eb18b27a4ffab2309901d7bc07bf0e665d.zip | |
linker messages are no longer warnings by default
| -rwxr-xr-x | src/tools/miri/ci/ci.sh | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/tools/miri/ci/ci.sh b/src/tools/miri/ci/ci.sh index fb3fc621565..5583030b490 100755 --- a/src/tools/miri/ci/ci.sh +++ b/src/tools/miri/ci/ci.sh @@ -14,9 +14,7 @@ function endgroup { begingroup "Building Miri" # Global configuration -# 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 RUSTFLAGS="-D warnings" export CARGO_INCREMENTAL=0 export CARGO_EXTRA_FLAGS="--locked" |