diff options
| author | Ryan Dahl <ry@tinyclouds.org> | 2019-02-14 18:18:24 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-02-14 18:18:24 -0500 |
| commit | 748e456cdb18912e780b69cc90023ef37f4d0c24 (patch) | |
| tree | 73bc608d5be3de63bc53919c2295172a5389d70a /tools/prebuilt.py | |
| parent | 9a6d89fc401e434b90910b18066f82dc6111cdc0 (diff) | |
Use prebuilt hyperfine (#1755)
Diffstat (limited to 'tools/prebuilt.py')
| -rw-r--r-- | tools/prebuilt.py | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/tools/prebuilt.py b/tools/prebuilt.py index 69dcefdfd..591cfc664 100644 --- a/tools/prebuilt.py +++ b/tools/prebuilt.py @@ -31,8 +31,10 @@ def load_sccache(): def load_hyperfine(): if sys.platform == 'win32': - download_prebuilt("prebuilt/win/hyperfine.exe.sha1") + p = "prebuilt/win/hyperfine.exe" elif sys.platform.startswith('linux'): - download_prebuilt("prebuilt/linux64/hyperfine.sha1") + p = "prebuilt/linux64/hyperfine" elif sys.platform == 'darwin': - download_prebuilt("prebuilt/mac/hyperfine.sha1") + p = "prebuilt/mac/hyperfine" + download_prebuilt(p + ".sha1") + return os.path.join(root_path, p) |