diff options
| author | Martin Nowack <martin@se.inf.tu-dresden.de> | 2016-02-27 15:13:07 +0100 |
|---|---|---|
| committer | Martin Nowack <martin@se.inf.tu-dresden.de> | 2016-02-27 15:13:07 +0100 |
| commit | 18f01e9f6d5471d176091f24671bef3eac0293ac (patch) | |
| tree | 3e9a7d4a09e734453ee6cd303e3c8941d1d8a224 /.travis/install-tcmalloc.sh | |
| parent | a6a5c148b63f811a6df1e5a3eb6edd43148df510 (diff) | |
| download | klee-18f01e9f6d5471d176091f24671bef3eac0293ac.tar.gz | |
Travis: Run TCMalloc runs explicitly
Diffstat (limited to '.travis/install-tcmalloc.sh')
| -rwxr-xr-x | .travis/install-tcmalloc.sh | 16 |
1 files changed, 9 insertions, 7 deletions
diff --git a/.travis/install-tcmalloc.sh b/.travis/install-tcmalloc.sh index 8d60a997..5a86380b 100755 --- a/.travis/install-tcmalloc.sh +++ b/.travis/install-tcmalloc.sh @@ -1,10 +1,12 @@ #!/bin/bash -x set -ev -# Get tcmalloc release -wget https://github.com/gperftools/gperftools/releases/download/gperftools-2.4/gperftools-2.4.tar.gz -tar xfz gperftools-2.4.tar.gz -cd gperftools-2.4 -./configure --disable-dependency-tracking --disable-cpu-profiler --disable-heap-checker --disable-debugalloc --enable-minimal --prefix=/usr -make -sudo make install +if [ ${USE_TCMALLOC:-0} -eq 1 ] ; then + # Get tcmalloc release + wget https://github.com/gperftools/gperftools/releases/download/gperftools-2.4/gperftools-2.4.tar.gz + tar xfz gperftools-2.4.tar.gz + cd gperftools-2.4 + ./configure --disable-dependency-tracking --disable-cpu-profiler --disable-heap-checker --disable-debugalloc --enable-minimal --prefix=/usr + make + sudo make install +fi |