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) " 
26+ #  Only check host docs now
27+ html_dir=" $( rustc +nightly --print sysroot) $( 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) 
12+ PLATFORM_SUPPORT_FILE=$( rustc +miri --print sysroot) $( 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