diff options
Diffstat (limited to 'infra/bots/assets/valgrind')
-rw-r--r-- | infra/bots/assets/valgrind/VERSION | 2 | ||||
-rwxr-xr-x | infra/bots/assets/valgrind/create.py | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/infra/bots/assets/valgrind/VERSION b/infra/bots/assets/valgrind/VERSION index 62f9457511..c7930257df 100644 --- a/infra/bots/assets/valgrind/VERSION +++ b/infra/bots/assets/valgrind/VERSION @@ -1 +1 @@ -6
\ No newline at end of file +7
\ No newline at end of file diff --git a/infra/bots/assets/valgrind/create.py b/infra/bots/assets/valgrind/create.py index 618c2354e6..3f6707de15 100755 --- a/infra/bots/assets/valgrind/create.py +++ b/infra/bots/assets/valgrind/create.py @@ -22,9 +22,9 @@ import urllib2 import utils -VALGRIND = 'valgrind-3.12.0' +VALGRIND = 'valgrind-3.13.0' TARBALL = '%s.tar.bz2' % VALGRIND -DOWNLOAD_URL = 'http://valgrind.org/downloads/%s' % TARBALL +DOWNLOAD_URL = 'ftp://sourceware.org/pub/valgrind/%s' % TARBALL TEMP_DIR = os.path.join(tempfile.gettempdir(), 'skia-%s' % VALGRIND) INSTALL_DIR = os.path.join(TEMP_DIR, 'valgrind_install') |