From 9dbf0f4caaa8813e5dfa2bd2d7d60f9979408d9a Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Sat, 5 Aug 2023 09:47:43 +0200 Subject: [PATCH] we also need rustdocflags --- ci-test.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/ci-test.sh b/ci-test.sh index 02f19dd..8256abd 100644 --- a/ci-test.sh +++ b/ci-test.sh @@ -87,6 +87,7 @@ std) simd) cd $MIRI_LIB_SRC/portable-simd export RUSTFLAGS="-Ainternal_features ${RUSTFLAGS:-}" + export RUSTDOCFLAGS="-Ainternal_features ${RUSTDOCFLAGS:-}" echo "::group::Testing portable-simd" MIRIFLAGS="$DEFAULTFLAGS" \