diff options
| -rw-r--r-- | devel/jenkins/Makefile | 2 | ||||
| -rw-r--r-- | devel/jenkins/distinfo | 6 | ||||
| -rw-r--r-- | devel/jenkins/files/jenkins.in | 2 |
3 files changed, 5 insertions, 5 deletions
diff --git a/devel/jenkins/Makefile b/devel/jenkins/Makefile index 894e720..3d1e7a5 100644 --- a/devel/jenkins/Makefile +++ b/devel/jenkins/Makefile @@ -1,7 +1,7 @@ # $FreeBSD$ PORTNAME= jenkins -PORTVERSION= 2.45 +PORTVERSION= 2.46 CATEGORIES= devel java MASTER_SITES= http://mirrors.jenkins-ci.org/war/${PORTVERSION}/ DISTNAME= jenkins diff --git a/devel/jenkins/distinfo b/devel/jenkins/distinfo index d4e00fa..6348453 100644 --- a/devel/jenkins/distinfo +++ b/devel/jenkins/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1486436551 -SHA256 (jenkins/2.45/jenkins.war) = 0e57ee3645aec0742b8b2a0d4cd62cb80c3e6718b810200ab33851109f1f5488 -SIZE (jenkins/2.45/jenkins.war) = 68649092 +TIMESTAMP = 1487042322 +SHA256 (jenkins/2.46/jenkins.war) = 7deb88ace238d5eaa676fab74bcb81b5951a6fb8c042af90082c48aee2dd8134 +SIZE (jenkins/2.46/jenkins.war) = 68663046 diff --git a/devel/jenkins/files/jenkins.in b/devel/jenkins/files/jenkins.in index 55c4fd7..019ffde 100644 --- a/devel/jenkins/files/jenkins.in +++ b/devel/jenkins/files/jenkins.in @@ -60,7 +60,7 @@ pidfile="/var/run/jenkins/jenkins.pid" command="/usr/sbin/daemon" java_cmd="${jenkins_java_home}/bin/java" procname="${java_cmd}" -command_args="-p ${pidfile} ${java_cmd} -DJENKINS_HOME=${jenkins_home} ${jenkins_java_opts} -jar %%DATADIR%%/jenkins.war ${jenkins_args} > ${jenkins_log_file} 2>&1" +command_args="-p ${pidfile} ${java_cmd} -DJENKINS_HOME=${jenkins_home} ${jenkins_java_opts} -jar %%DATADIR%%/jenkins.war ${jenkins_args} >> ${jenkins_log_file} 2>&1" required_files="${java_cmd}" start_precmd="jenkins_prestart" |
