File tree Expand file tree Collapse file tree 2 files changed +3
-2
lines changed Expand file tree Collapse file tree 2 files changed +3
-2
lines changed Original file line number Diff line number Diff line change 2323
2424set -e
2525
26- html_dir=" $( rustc +nightly --print sysroot) /share/doc/rust/html"
26+ # Only check host docs now
27+ html_dir=" $( rustc +nightly --print sysroot) /share/doc/rust/html/$( rustc +nightly --print host-tuple) "
2728
2829if [ ! -d " $html_dir " ]
2930then
Original file line number Diff line number Diff line change @@ -9,7 +9,7 @@ FAILS_DIR=failures
99rm -rf $FAILS_DIR
1010mkdir $FAILS_DIR
1111
12- PLATFORM_SUPPORT_FILE=$( rustc +miri --print sysroot) /share/doc/rust/html/rustc/platform-support.html
12+ PLATFORM_SUPPORT_FILE=$( rustc +miri --print sysroot) /share/doc/rust/html/$( rustc +miri --print host-tuple ) / rustc/platform-support.html
1313
1414for target in $( python3 ci/scrape-targets.py $PLATFORM_SUPPORT_FILE ) ; do
1515 # Wipe the cache before every build to minimize disk usage
You can’t perform that action at this time.
0 commit comments