diff options
author | Andrew Gallant <jamslam@gmail.com> | 2022-12-16 11:20:45 -0500 |
---|---|---|
committer | Andrew Gallant <jamslam@gmail.com> | 2022-12-16 11:20:45 -0500 |
commit | 63058453fa7ec562feedca0d599ee59780b2d9e8 (patch) | |
tree | 3ab2481b357ec2ad5d6b8800c1a2ccb2df6f5ea7 /benchsuite | |
parent | 7f23cd63a51d45415bb3df28d053562844194767 (diff) |
benchsuite: update URLs
This removes the old commented out URLs for the 2016 subtitles that
don't work any more. I should probably upload the files to a more stable
URL.
This also switches to a 'https://' GitHub URL as I believe the 'git://'
URLs are no longer supported.
Diffstat (limited to 'benchsuite')
-rwxr-xr-x | benchsuite/benchsuite | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/benchsuite/benchsuite b/benchsuite/benchsuite index a70eb540..c6a87220 100755 --- a/benchsuite/benchsuite +++ b/benchsuite/benchsuite @@ -26,15 +26,13 @@ SUBTITLES_DIR = 'subtitles' SUBTITLES_EN_NAME = 'en.txt' SUBTITLES_EN_NAME_SAMPLE = 'en.sample.txt' SUBTITLES_EN_NAME_GZ = '%s.gz' % SUBTITLES_EN_NAME -# SUBTITLES_EN_URL = 'http://opus.lingfil.uu.se/OpenSubtitles2016/mono/OpenSubtitles2016.raw.en.gz' # noqa SUBTITLES_EN_URL = 'https://object.pouta.csc.fi/OPUS-OpenSubtitles/v2016/mono/en.txt.gz' # noqa SUBTITLES_RU_NAME = 'ru.txt' SUBTITLES_RU_NAME_GZ = '%s.gz' % SUBTITLES_RU_NAME -# SUBTITLES_RU_URL = 'http://opus.lingfil.uu.se/OpenSubtitles2016/mono/OpenSubtitles2016.raw.ru.gz' # noqa SUBTITLES_RU_URL = 'https://object.pouta.csc.fi/OPUS-OpenSubtitles/v2016/mono/ru.txt.gz' # noqa LINUX_DIR = 'linux' -LINUX_CLONE = 'git://github.com/BurntSushi/linux' +LINUX_CLONE = 'https://github.com/BurntSushi/linux' # Grep takes locale settings from the environment. There is a *substantial* # performance impact for enabling Unicode, so we need to handle this explicitly |