diff --git a/tools/jenkins/jenkins_home/build_jenkins.sh b/tools/jenkins/jenkins_home/build_jenkins.sh
index 2bc856d..9a32a0a 100755
--- a/tools/jenkins/jenkins_home/build_jenkins.sh
+++ b/tools/jenkins/jenkins_home/build_jenkins.sh
@@ -97,5 +97,5 @@ for plugin in ${PLUGINS//,/ }; do
 done
 
 # Restart jenkins
-stop jenkins || true
-start jenkins
+/etc/init.d/jenkins stop || true
+/etc/init.d/jenkins start