diff options
| author | MartinNowack <martin.nowack@gmail.com> | 2016-02-29 14:14:43 +0100 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2016-02-29 14:14:43 +0100 |
| commit | ce1dd5a7f3de7b536a9ff266a9231b44a053fe95 (patch) | |
| tree | 47dd5e214efaa3a28333a071c30a35895a03b5ed /.travis/install-llvm-and-runtime-compiler.sh | |
| parent | 0fc86ca9e28cc411cb5e00afa22c32e77aca7e57 (diff) | |
| parent | 18f01e9f6d5471d176091f24671bef3eac0293ac (diff) | |
| download | klee-ce1dd5a7f3de7b536a9ff266a9231b44a053fe95.tar.gz | |
Merge pull request #344 from MartinNowack/feat_malloc
Add support for tcmalloc
Diffstat (limited to '.travis/install-llvm-and-runtime-compiler.sh')
| -rwxr-xr-x | .travis/install-llvm-and-runtime-compiler.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.travis/install-llvm-and-runtime-compiler.sh b/.travis/install-llvm-and-runtime-compiler.sh index 6fba5baf..13a7f140 100755 --- a/.travis/install-llvm-and-runtime-compiler.sh +++ b/.travis/install-llvm-and-runtime-compiler.sh @@ -1,10 +1,10 @@ #!/bin/bash -x set -ev -sudo apt-get install llvm-${LLVM_VERSION} llvm-${LLVM_VERSION}-dev +sudo apt-get install -y llvm-${LLVM_VERSION} llvm-${LLVM_VERSION}-dev if [ "${LLVM_VERSION}" != "2.9" ]; then - sudo apt-get install llvm-${LLVM_VERSION}-tools clang-${LLVM_VERSION} + sudo apt-get install -y llvm-${LLVM_VERSION}-tools clang-${LLVM_VERSION} else # Get llvm-gcc. We don't bother installing it wget http://llvm.org/releases/2.9/llvm-gcc4.2-2.9-x86_64-linux.tar.bz2 |