about summary refs log tree commit diff homepage
path: root/scripts/build
diff options
context:
space:
mode:
authorCristian Cadar <c.cadar@imperial.ac.uk>2018-09-26 14:30:00 +0100
committerMartinNowack <martin.nowack@gmail.com>2018-09-27 10:18:01 +0100
commit0334b3bda8191d56a18efdc2d2483f95f7fc1825 (patch)
tree33d3648ca9ab6432aa7e2342fb12c929451a1724 /scripts/build
parent4efd7f6b443f187f5a844227339383ce5593e865 (diff)
downloadklee-0334b3bda8191d56a18efdc2d2483f95f7fc1825.tar.gz
Revert lit to 0.6.0 version, as 0.7.0 misbehaves
Diffstat (limited to 'scripts/build')
-rwxr-xr-xscripts/build/build-travis.sh2
-rwxr-xr-xscripts/build/dependencies-ubuntu.sh2
2 files changed, 2 insertions, 2 deletions
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
diff --git a/scripts/build/dependencies-ubuntu.sh b/scripts/build/dependencies-ubuntu.sh
index 52e161fd..d5d4a36a 100755
--- a/scripts/build/dependencies-ubuntu.sh
+++ b/scripts/build/dependencies-ubuntu.sh
@@ -40,4 +40,4 @@ apt -y --no-install-recommends install \
 apt clean
 
 # Install lit for testing
-pip3 install wheel && pip3 install lit
+pip3 install wheel && pip3 install lit==0.6.0