diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-09-01 23:08:24 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-09-01 23:10:12 +0100 |
| commit | 91ff7dabaf8ce850b51071ebe48cb75b448d53fd (patch) | |
| tree | 28889036cce6e1833a783feaf11f86ecc41614be /.travis | |
| parent | 207c8315ffc0a525a3fc51894c7a09293bce4ea7 (diff) | |
| download | klee-91ff7dabaf8ce850b51071ebe48cb75b448d53fd.tar.gz | |
Try to unbreak the TravisCI and Docker builds.
GTest has moved from googlecode to GitHub so update URL and directory name used in source archive as appropriate.
Diffstat (limited to '.travis')
| -rwxr-xr-x | .travis/testing-utils.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/.travis/testing-utils.sh b/.travis/testing-utils.sh index 27bd420d..b2f608db 100755 --- a/.travis/testing-utils.sh +++ b/.travis/testing-utils.sh @@ -4,9 +4,9 @@ set -e if [ "${LLVM_VERSION}" != "2.9" ]; then # Using LLVM3.4 all we need is vanilla GoogleTest :) - wget https://googletest.googlecode.com/files/gtest-1.7.0.zip - unzip gtest-1.7.0.zip - cd gtest-1.7.0/ + wget https://github.com/google/googletest/archive/release-1.7.0.zip + unzip release-1.7.0.zip + cd googletest-release-1.7.0/ cmake . make # Normally I wouldn't do something like this but hey we're running on a temporary virtual machine, so who cares? |