From a6a5c148b63f811a6df1e5a3eb6edd43148df510 Mon Sep 17 00:00:00 2001
From: Martin Nowack <martin.nowack@gmail.com>
Date: Tue, 23 Feb 2016 14:17:20 +0000
Subject: Update travis configuration to use tcmalloc

We have to build our own tcmalloc,
as the version provided with Ubtuntu 12.04 is too old.
---
 .travis.yml | 1 +
 1 file changed, 1 insertion(+)

(limited to '.travis.yml')

diff --git a/.travis.yml b/.travis.yml
index 9a17f968..db6a27ac 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -92,6 +92,7 @@ before_install:
     - sudo update-alternatives --install /usr/bin/clang++ clang++ /usr/bin/clang++-3.4 20
     # Install LLVM and the LLVM bitcode compiler we require to build KLEE
     - ${KLEE_SRC}/.travis/install-llvm-and-runtime-compiler.sh
+    - ${KLEE_SRC}/.travis/install-tcmalloc.sh
     # Install lit (llvm-lit is not available)
     - sudo pip install lit
     # Get SMT solvers
-- 
cgit 1.4.1