fix typo

13 years ago · 5dbfdeafba
parent 28c6779856
commit 5dbfdeafba
1 changed files with 1 additions and 1 deletions
--- a/tools/jenkins/jenkins_home/build_jenkins.sh
+++ b/tools/jenkins/jenkins_home/build_jenkins.sh
@ -28,7 +28,7 @@ apt-get update

 # Clean out old jenkins - useful if you are having issues upgrading
 CLEAN_JENKINS=${CLEAN_JENKINS:-no}
-if [ "$CLEAN_JENKINS" = "yes" ] then;
+if [ "$CLEAN_JENKINS" = "yes" ]; then
    apt-get remove jenkins jenkins-common
 fi