From 92b49c62b796e4c2544fc2415d9817068aed6eae Mon Sep 17 00:00:00 2001
From: Martin Nowack <m.nowack@imperial.ac.uk>
Date: Wed, 7 Nov 2018 16:39:05 +0000
Subject: Use LLVM 4 for Mac Build

---
 scripts/build/build-travis.sh | 2 --
 1 file changed, 2 deletions(-)

(limited to 'scripts/build/build-travis.sh')

diff --git a/scripts/build/build-travis.sh b/scripts/build/build-travis.sh
index d887619a..eaa30822 100755
--- a/scripts/build/build-travis.sh
+++ b/scripts/build/build-travis.sh
@@ -5,8 +5,6 @@ if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then
   export DOCKER_BUILD_DEPS_ONLY=1
   "${KLEE_SRC_TRAVIS}/scripts/build/build-docker.sh"
 elif [[ "$TRAVIS_OS_NAME" == "osx" ]]; then
-  brew tap klee/klee
-  brew update
   brew install ccache
   set +e
   brew install python@2
-- 
cgit 1.4.1