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