diff options
| author | Dan Liew <delcypher@gmail.com> | 2016-09-02 07:58:49 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-09-02 07:58:49 +0100 |
| commit | 5bf634f6db66c819ed84476807bcee020e5f21aa (patch) | |
| tree | 28889036cce6e1833a783feaf11f86ecc41614be /.travis/testing-utils.sh | |
| parent | 207c8315ffc0a525a3fc51894c7a09293bce4ea7 (diff) | |
| parent | 91ff7dabaf8ce850b51071ebe48cb75b448d53fd (diff) | |
| download | klee-5bf634f6db66c819ed84476807bcee020e5f21aa.tar.gz | |
Merge pull request #463 from delcypher/fix_gtest_build
Try to unbreak the TravisCI and Docker builds.
Diffstat (limited to '.travis/testing-utils.sh')
| -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? |