File tree Expand file tree Collapse file tree 2 files changed +4
-2
lines changed Expand file tree Collapse file tree 2 files changed +4
-2
lines changed Original file line number Diff line number Diff line change 23
23
24
24
set -e
25
25
26
- html_dir=" $( rustc +nightly --print sysroot) /share/doc/rust/html"
26
+ # Only check host docs now
27
+ host_triple=$( rustc +nightly --print host-tuple)
28
+ html_dir=" $( rustc +nightly --print sysroot) /share/doc/rust/html/$host_triple "
27
29
28
30
if [ ! -d " $html_dir " ]
29
31
then
Original file line number Diff line number Diff line change @@ -9,7 +9,7 @@ FAILS_DIR=failures
9
9
rm -rf $FAILS_DIR
10
10
mkdir $FAILS_DIR
11
11
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
13
13
14
14
for target in $( python3 ci/scrape-targets.py $PLATFORM_SUPPORT_FILE ) ; do
15
15
# Wipe the cache before every build to minimize disk usage
You can’t perform that action at this time.
0 commit comments