scripts: remove extraneous semicolons

(cherry picked from commit 149790b9)

script/cibuild.sh

@@ -2,10 +2,9 @@
 
 set -x
 
-if [ -n "$COVERITY" ];
-then
-	./script/coverity.sh;
-	exit $?;
+if [ -n "$COVERITY" ]; then
+	./script/coverity.sh
+	exit $?
 fi
 
 if [ "$TRAVIS_OS_NAME" = "osx" ]; then

script/cileaks.sh

@@ -5,7 +5,7 @@ set -x
 # If this platform doesn't support test execution, bail out now
 if [ -n "$SKIP_TESTS" ];
 then
-	exit $?;
+	exit $?
 fi
 
 if [ -n "$VALGRIND" -a -e "$(which valgrind)" ]; then

script/citest.sh

@@ -3,9 +3,8 @@
 set -x
 
 # If this platform doesn't support test execution, bail out now
-if [ -n "$SKIP_TESTS" ];
-then
-	exit $?;
+if [ -n "$SKIP_TESTS" ]; then
+	exit $?
 fi
 
 if [ ! -d _build ]; then