diff options
author | bapt <bapt@FreeBSD.org> | 2014-03-11 00:25:33 +0800 |
---|---|---|
committer | bapt <bapt@FreeBSD.org> | 2014-03-11 00:25:33 +0800 |
commit | ec3fdd65b57bc698a5e8f66d1268057ca3d22e6b (patch) | |
tree | ec0965bd63c70b3986830805c3ce0427524b81b2 /misc/pipe | |
parent | 3f0f7233ff91a236628a65d2f651e1a3f828177a (diff) | |
download | freebsd-ports-gnome-ec3fdd65b57bc698a5e8f66d1268057ca3d22e6b.tar.gz freebsd-ports-gnome-ec3fdd65b57bc698a5e8f66d1268057ca3d22e6b.tar.zst freebsd-ports-gnome-ec3fdd65b57bc698a5e8f66d1268057ca3d22e6b.zip |
Convert m* to USES=zip
Diffstat (limited to 'misc/pipe')
-rw-r--r-- | misc/pipe/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/misc/pipe/Makefile b/misc/pipe/Makefile index c5f76a228f88..b520f5625d85 100644 --- a/misc/pipe/Makefile +++ b/misc/pipe/Makefile @@ -11,7 +11,7 @@ DISTNAME= pipe25_rc5 MAINTAINER= stefan@fh-mainz.de COMMENT= A tool for creating and analysing Petri nets -USE_ZIP= yes +USES= zip NO_BUILD= yes USE_JAVA= yes JAVA_VERSION= 1.6+ |