diff options
| author | Mark Linimon <linimon@FreeBSD.org> | 2011-07-21 05:03:02 +0000 |
|---|---|---|
| committer | Mark Linimon <linimon@FreeBSD.org> | 2011-07-21 05:03:02 +0000 |
| commit | 06e66777937202f04d646d24d24f524b13d79478 (patch) | |
| tree | 85a44213b1929b12051c17091ea4ad53f819456b /misc/pipe | |
| parent | 63d4112e2e682002806fc4c52da2481ae7f045e7 (diff) | |
Notes
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 334278667f1a..f5a29c21bfcc 100644 --- a/misc/pipe/Makefile +++ b/misc/pipe/Makefile @@ -19,7 +19,7 @@ COMMENT= A tool for creating and analysing Petri nets USE_ZIP= yes NO_BUILD= yes USE_JAVA= yes -JAVA_VERSION= 1.3+ +JAVA_VERSION= 1.5+ PLIST_FILES= bin/pipe SUB_FILES= pipe.sh |