diff options
| author | Greg Lewis <glewis@FreeBSD.org> | 2019-07-18 16:48:11 +0000 |
|---|---|---|
| committer | Greg Lewis <glewis@FreeBSD.org> | 2019-07-18 16:48:11 +0000 |
| commit | e5c9cd4927445d207c871c1565589d74e5accea6 (patch) | |
| tree | c99fe3b9ec4a9d77bc904551c677ac31e89adc75 /games/jin | |
| parent | 7002ec7690bfc713bcdd9895bffc0d4fb528ebda (diff) | |
| download | ports-e5c9cd4927445d207c871c1565589d74e5accea6.tar.gz ports-e5c9cd4927445d207c871c1565589d74e5accea6.zip | |
Adjust to proposed changes in Java versioning
* Bug #238758 proposes to change the Java versioning from versions such
as "1.6.0" to versions such as "6" (for example). Modify the Makefile
checks on JAVA_PORT_VERSION to cope with either format.
PR: 238980
Approved by: maintainer timeout
Notes
Notes:
svn path=/head/; revision=506862
Diffstat (limited to 'games/jin')
| -rw-r--r-- | games/jin/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/games/jin/Makefile b/games/jin/Makefile index 8640979be9c6..81dd71d454b2 100644 --- a/games/jin/Makefile +++ b/games/jin/Makefile @@ -25,7 +25,8 @@ USE_ANT= yes MAKE_ARGS+= -lib ${JAVAJARDIR}/bsh.jar SUB_FILES= ${PORTNAME} -SUB_LIST= JINJAR=${JINJAR:Q} JAVA_VERSION=${JAVA_PORT_VERSION:R} +SUB_LIST= JINJAR=${JINJAR:Q} \ + JAVA_VERSION=${JAVA_PORT_VERSION:R:C/^([^1])/1.\1/} DATADIR= ${JAVASHAREDIR}/${PORTNAME} |