diff options
Diffstat (limited to 'scripts/build/build-travis.sh')
-rwxr-xr-x | scripts/build/build-travis.sh | 2 |
1 files changed, 1 insertions, 1 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 |