summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xhosts/jenkins/etc/init.d/jenkins3
1 files changed, 0 insertions, 3 deletions
diff --git a/hosts/jenkins/etc/init.d/jenkins b/hosts/jenkins/etc/init.d/jenkins
index b2c57bf8..ccb33d5d 100755
--- a/hosts/jenkins/etc/init.d/jenkins
+++ b/hosts/jenkins/etc/init.d/jenkins
@@ -92,9 +92,6 @@ check_tcp_port() {
#
do_start()
{
- # Clean up the Reproducible Builds database from running builds
- sqlite3 /var/lib/jenkins/reproducible.db "UPDATE schedule SET date_build_started = '' WHERE date_build_started != '';" || true
-
# the default location is /var/run/jenkins/jenkins.pid but the parent directory needs to be created
mkdir `dirname $PIDFILE` > /dev/null 2>&1 || true
chown $JENKINS_USER `dirname $PIDFILE`