we also need rustdocflags

RalfJung · RalfJung · commit 9dbf0f4caaa8 · 2023-08-05T09:47:43.000+02:00
diff --git 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" \
