diff options
| author | lwhsu <lwhsu@FreeBSD.org> | 2013-09-23 00:57:59 +0800 |
|---|---|---|
| committer | lwhsu <lwhsu@FreeBSD.org> | 2013-09-23 00:57:59 +0800 |
| commit | 542bd92608f2970512cbf06d40caad93950aa8c6 (patch) | |
| tree | 51e359ff11363c827e922d34ecc766c938c81d57 | |
| parent | d8c83677332a498b90c2474d9e45a7132a33770b (diff) | |
| download | freebsd-ports-gnome-542bd92608f2970512cbf06d40caad93950aa8c6.tar.gz freebsd-ports-gnome-542bd92608f2970512cbf06d40caad93950aa8c6.tar.zst freebsd-ports-gnome-542bd92608f2970512cbf06d40caad93950aa8c6.zip | |
- Update to 1.531
| -rw-r--r-- | devel/jenkins/Makefile | 3 | ||||
| -rw-r--r-- | devel/jenkins/distinfo | 4 |
2 files changed, 4 insertions, 3 deletions
diff --git a/devel/jenkins/Makefile b/devel/jenkins/Makefile index 1908628bf4f9..21213da8e0ba 100644 --- a/devel/jenkins/Makefile +++ b/devel/jenkins/Makefile @@ -1,7 +1,7 @@ # $FreeBSD$ PORTNAME= jenkins -PORTVERSION= 1.530 +PORTVERSION= 1.531 CATEGORIES= devel java MASTER_SITES= http://mirrors.jenkins-ci.org/war/${PORTVERSION}/ DISTNAME= jenkins @@ -40,6 +40,7 @@ PLIST_DIRSTRY= jenkins SUB_LIST+= JENKINS_HOME=${JENKINS_HOME} JENKINS_USER=${JENKINS_USER} JENKINS_GROUP=${JENKINS_GROUP} JAVA_HOME=${JAVA_HOME} JENKINS_LOG_FILE=${JENKINS_LOG_FILE} NO_STAGE= yes + .include <bsd.port.pre.mk> do-install: diff --git a/devel/jenkins/distinfo b/devel/jenkins/distinfo index 8401aa0459c4..0b1811a710c2 100644 --- a/devel/jenkins/distinfo +++ b/devel/jenkins/distinfo @@ -1,2 +1,2 @@ -SHA256 (jenkins/1.530/jenkins.war) = 2d9289b69e5baba94173625f7b175ede4e39c1c6600ffed74d32b251c5ed8ebb -SIZE (jenkins/1.530/jenkins.war) = 63416534 +SHA256 (jenkins/1.531/jenkins.war) = 95170a9c343c1607e3d59b7b450223aa2ceef684cebaa73ca933ffae79ec3134 +SIZE (jenkins/1.531/jenkins.war) = 62953726 |