summaryrefslogtreecommitdiff
path: root/travis.sh
diff options
context:
space:
mode:
Diffstat (limited to 'travis.sh')
-rwxr-xr-xtravis.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/travis.sh b/travis.sh
index a21e9fcb0..51a0a0611 100755
--- a/travis.sh
+++ b/travis.sh
@@ -102,7 +102,7 @@ EOF
else
echo "No sanitizer errors found."
fi
- if [ ${errcode} -ne 0 ]
+ if [ ${errcode} -ne 0 ]; then
echo "server terminated with exit code ${errcode}"
aborterror "Test failed"
fi