From 5dbfdeafbaeb664af73112920612c88b33e002df Mon Sep 17 00:00:00 2001
From: Anthony Young <sleepsonthefloor@gmail.com>
Date: Mon, 14 Nov 2011 12:40:04 -0800
Subject: [PATCH] fix typo

---
 tools/jenkins/jenkins_home/build_jenkins.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/jenkins/jenkins_home/build_jenkins.sh b/tools/jenkins/jenkins_home/build_jenkins.sh
index 7d68679..d60679b 100755
--- 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