diff options
| author | Andrea Mattavelli <andreamattavelli@gmail.com> | 2017-07-28 08:59:04 +0100 |
|---|---|---|
| committer | Andrea Mattavelli <andreamattavelli@gmail.com> | 2017-07-28 08:59:04 +0100 |
| commit | 7a305a4275c6226f6dd4e103e8ab5b6b3be8e73c (patch) | |
| tree | 1b3c6aa30c36883000124aa666945d96969bd4ec /.travis/stp.sh | |
| parent | 90390bd8d18b9ca5f1ecf5ae4f705b0089f9ea8f (diff) | |
| download | klee-7a305a4275c6226f6dd4e103e8ab5b6b3be8e73c.tar.gz | |
Fixed script for STP in Travis-CI: Build now exits on errors
Diffstat (limited to '.travis/stp.sh')
| -rwxr-xr-x | .travis/stp.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.travis/stp.sh b/.travis/stp.sh index 66e3418d..e8647839 100755 --- a/.travis/stp.sh +++ b/.travis/stp.sh @@ -68,4 +68,5 @@ fi if [ $? -ne 0 ]; then echo "Build error" cat "${STP_LOG}" + exit 1 fi |