diff options
| author | Andrea Mattavelli <andreamattavelli@users.noreply.github.com> | 2017-03-31 12:25:32 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-03-31 12:25:32 +0100 |
| commit | 2a2e972e8d287e61ad40b1cc14165b5eff482fc4 (patch) | |
| tree | b1e5bf959762fdac829426f542e72555aa038567 /.travis/install-tcmalloc.sh | |
| parent | c08cb14c6767bfab9d56772771e3538b46b8bd4a (diff) | |
| parent | 31d7fa412c673d2e2b0f9fe2abf32afa1b105d5e (diff) | |
| download | klee-2a2e972e8d287e61ad40b1cc14165b5eff482fc4.tar.gz | |
Merge pull request #637 from delcypher/docker_fix
[Docker] Unbreak build.
Diffstat (limited to '.travis/install-tcmalloc.sh')
| -rwxr-xr-x | .travis/install-tcmalloc.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/.travis/install-tcmalloc.sh b/.travis/install-tcmalloc.sh index a0d825e1..0bc26616 100755 --- a/.travis/install-tcmalloc.sh +++ b/.travis/install-tcmalloc.sh @@ -11,9 +11,12 @@ if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then make sudo make install fi -else # OSX +elif [[ "${TRAVIS_OS_NAME}" == "osx" ]]; then if [ ${USE_TCMALLOC:-0} -eq 1 ] ; then echo "Error: Requested to install TCMalloc on macOS, which is not supported" exit 1 fi +else + echo "Unhandled TRAVIS_OS_NAME \"${TRAVIS_OS_NAME}\"" + exit 1 fi |