Commit 149790b9 by Etienne Samson

scripts: remove extraneous semicolons

parent 4c969618
...@@ -2,10 +2,9 @@ ...@@ -2,10 +2,9 @@
set -x set -x
if [ -n "$COVERITY" ]; if [ -n "$COVERITY" ]; then
then ./script/coverity.sh
./script/coverity.sh; exit $?
exit $?;
fi fi
if [ "$TRAVIS_OS_NAME" = "osx" ]; then if [ "$TRAVIS_OS_NAME" = "osx" ]; then
......
...@@ -5,7 +5,7 @@ set -x ...@@ -5,7 +5,7 @@ set -x
# If this platform doesn't support test execution, bail out now # If this platform doesn't support test execution, bail out now
if [ -n "$SKIP_TESTS" ]; if [ -n "$SKIP_TESTS" ];
then then
exit $?; exit $?
fi fi
if [ -n "$VALGRIND" -a -e "$(which valgrind)" ]; then if [ -n "$VALGRIND" -a -e "$(which valgrind)" ]; then
......
...@@ -3,9 +3,8 @@ ...@@ -3,9 +3,8 @@
set -x set -x
# If this platform doesn't support test execution, bail out now # If this platform doesn't support test execution, bail out now
if [ -n "$SKIP_TESTS" ]; if [ -n "$SKIP_TESTS" ]; then
then exit $?
exit $?;
fi fi
if [ ! -d _build ]; then if [ ! -d _build ]; then
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment