mx hsdis: use URL rewrites

chrischiedo · May 8, 2020 · 628e00d · 628e00d
1 parent 7965307
commit 628e00d
Showing 1 changed file with 6 additions and 4 deletions.
diff --git a/compiler/mx.compiler/mx_graal_tools.py b/compiler/mx.compiler/mx_graal_tools.py
@@ -28,13 +28,15 @@
 
 from __future__ import print_function
 
-import os, shutil, re
+import os
+import shutil
+import re
+import sys
 from os.path import join, exists
 from argparse import ArgumentParser, REMAINDER
 
 import mx
-
-import sys
+from mx_urlrewrites import rewriteurl
 
 if sys.version_info[0] < 3:
     _long = long # pylint: disable=undefined-variable
@@ -132,7 +134,7 @@ def hsdis(args, copyToDir=None):
     path = join(_suite.get_output_root(), lib)
     if not exists(path):
         sha1path = path + '.sha1'
-        mx.download_file_with_sha1('hsdis', path, ['https://lafo.ssw.uni-linz.ac.at/pub/graal-external-deps/hsdis/' + lib.replace(os.sep, '/')], sha1, sha1path, True, True, sources=False)
+        mx.download_file_with_sha1('hsdis', path, [rewriteurl('https://lafo.ssw.uni-linz.ac.at/pub/graal-external-deps/hsdis/' + lib.replace(os.sep, '/'))], sha1, sha1path, True, True, sources=False)
 
     overwrite = True
     if copyToDir is None: