From 0334b3bda8191d56a18efdc2d2483f95f7fc1825 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Wed, 26 Sep 2018 14:30:00 +0100
Subject: Revert lit to 0.6.0 version, as 0.7.0 misbehaves

---
 scripts/build/build-travis.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/scripts/build/build-travis.sh b/scripts/build/build-travis.sh
index 47e3f088..d887619a 100755
--- a/scripts/build/build-travis.sh
+++ b/scripts/build/build-travis.sh
@@ -14,7 +14,7 @@ elif [[ "$TRAVIS_OS_NAME" == "osx" ]]; then
      brew link --overwrite python@2
   fi
   set -e
-  pip install lit
+  pip install lit==0.6.0
   export PATH="/usr/local/opt/ccache/libexec:$PATH"
   "${KLEE_SRC_TRAVIS}/scripts/build/install-klee-deps.sh"
 else
-- 
cgit 1.4.1