Avoid type $0, use $0 directly.

In some locales, `type $0` produces additional output, see issue #251.
jflex-de · Nov 12, 2017 · 9b204dd · 9b204dd
1 parent 39ea21a
commit 9b204dd
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/jflex/bin/jflex b/jflex/bin/jflex
@@ -1,6 +1,6 @@
 #! /bin/bash 
 #
-#     JFlex start script $Revision$
+#     JFlex start script
 #
 # if Java is not in your binary path, you need to supply its
 # location in this script. The script automatically finds 
@@ -28,8 +28,7 @@ JFLEX_VERSION=1.7.0-SNAPSHOT
 
 # calculate true location
 
-PRG=`type $0`
-PRG=${PRG##* }
+PRG="$0"
 
 # If PRG is a symlink, trace it to the real home directory