diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-09-14 14:04:24 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-09-15 00:17:10 +0100 |
| commit | 9dc94bf1f28eb64b2c02172c47b175c75757699f (patch) | |
| tree | eaa54701e5063d07ac8bb888ac1f684f40ef4df6 /.travis | |
| parent | 0aa44d4f61032836744d7a20f219af4463e99a23 (diff) | |
| download | klee-9dc94bf1f28eb64b2c02172c47b175c75757699f.tar.gz | |
Fix when we decide to "not exit on command error". We were doing this
too late so if the unittests failed the lit tests would not run.
Diffstat (limited to '.travis')
| -rwxr-xr-x | .travis/klee.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.travis/klee.sh b/.travis/klee.sh index 266f8fce..9d96f6a2 100755 --- a/.travis/klee.sh +++ b/.travis/klee.sh @@ -67,6 +67,7 @@ ${KLEE_SRC}/configure --with-llvmsrc=/usr/lib/llvm-${LLVM_VERSION}/build \ ############################################################################### # Testing ############################################################################### +set +e # We want to let all the tests run before we exit ############################################################################### # Unit tests @@ -77,7 +78,6 @@ svn export http://llvm.org/svn/llvm-project/llvm/branches/${SVN_BRANCH}/unittes ../Makefile.unittest sudo mv ../Makefile.unittest /usr/lib/llvm-${LLVM_VERSION}/build/unittests/ - make unittests \ DISABLE_ASSERTIONS=${DISABLE_ASSERTIONS} \ ENABLE_OPTIMIZED=${ENABLE_OPTIMIZED} \ |