From 051829eb18b27a4ffab2309901d7bc07bf0e665d Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Tue, 28 Jan 2025 03:36:45 +0100 Subject: [PATCH] linker messages are no longer warnings by default --- src/tools/miri/ci/ci.sh | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/src/tools/miri/ci/ci.sh b/src/tools/miri/ci/ci.sh index fb3fc621565e..5583030b490a 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 .) -export RUSTFLAGS="-D warnings -A linker-messages" +export RUSTFLAGS="-D warnings" export CARGO_INCREMENTAL=0 export CARGO_EXTRA_FLAGS="--locked"