diff options
| author | znerd <znerd@FreeBSD.org> | 2004-01-02 20:31:11 +0800 |
|---|---|---|
| committer | znerd <znerd@FreeBSD.org> | 2004-01-02 20:31:11 +0800 |
| commit | 62e38f6d0114d77d43451ee0e28803d6307449f6 (patch) | |
| tree | da2372eb8ee184ace8541500aa5026f49662cc52 /www/tomcat7/Makefile | |
| parent | 91ccb6803edf796ea17588de27a0755b8ba10910 (diff) | |
| download | freebsd-ports-gnome-62e38f6d0114d77d43451ee0e28803d6307449f6.tar.gz freebsd-ports-gnome-62e38f6d0114d77d43451ee0e28803d6307449f6.tar.zst freebsd-ports-gnome-62e38f6d0114d77d43451ee0e28803d6307449f6.zip | |
Fixed name of PID file in pkg-deinstall.
Bumped PORTREVISION.
PR: 60781
Submitted by: Kang Liu <liukang@bjpu.edu.cn>
Diffstat (limited to 'www/tomcat7/Makefile')
| -rw-r--r-- | www/tomcat7/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/www/tomcat7/Makefile b/www/tomcat7/Makefile index 5c8944689256..6fd670dc547a 100644 --- a/www/tomcat7/Makefile +++ b/www/tomcat7/Makefile @@ -7,6 +7,7 @@ PORTNAME= jakarta-tomcat PORTVERSION= 5.0.16 +PORTREVISION= 1 CATEGORIES= www java MASTER_SITES= http://www.apache.org/dist/jakarta/tomcat-5/v${PORTVERSION}/bin/ \ http://apache.lemon4ssc.org/dist/jakarta/tomcat-5/v{PORTVERSION}/bin/ \ |