diff options
Diffstat (limited to 'java/jflex/files/jflex.sh.in')
| -rw-r--r-- | java/jflex/files/jflex.sh.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/java/jflex/files/jflex.sh.in b/java/jflex/files/jflex.sh.in index 7d90f63d7ab0..c7b4819a4b8e 100644 --- a/java/jflex/files/jflex.sh.in +++ b/java/jflex/files/jflex.sh.in @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/sh # # Replacement for the script that came with JFlex # because bash is not necessarily on a FreeBSD @@ -11,4 +11,4 @@ # Allow the user to override where JFlex.jar lives JAVAJARDIR="${JAVAJARDIR:-"%%JAVAJARDIR%%"}" -"%%LOCALBASE%%/bin/java" -jar "${JAVAJARDIR}/JFlex.jar" "$@" +exec "%%LOCALBASE%%/bin/java" -jar "${JAVAJARDIR}/jflex-%%PORTVERSION%%.jar" "$@" |