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 | |
| 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.
| -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} \ |