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 | |
| 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.
| -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? |