about summary refs log tree commit diff homepage
path: root/scripts
diff options
context:
space:
mode:
Diffstat (limited to 'scripts')
-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