Changeset 12717 in josm

Timestamp:

2017-09-04T00:29:05+02:00 (7 years ago)

Author:

Don-vip

Message:

fix #15233 - Fix bashism in josm launcher (patch by sebastic)

Location:

trunk/linux

Files:

• latest/usr/bin/josm-latest (modified) (1 diff)
• tested/usr/bin/josm (modified) (1 diff)

trunk/linux/latest/usr/bin/josm-latest

@@ -47 +47 @@
 if [ "$JAVACMD" ]; then
     echo "Using $JAVACMD to execute josm-latest." || true
-    if [[ $JAVACMD == *"java-9"* ]]; then
+    if [ "`expr match \"${JAVACMD}\" 'java-9'`" != "0" ]; then
         JAVA_OPTS="--add-modules java.se.ee $JAVA_OPTS"
     fi

trunk/linux/tested/usr/bin/josm

@@ -47 +47 @@
 if [ "$JAVACMD" ]; then
     echo "Using $JAVACMD to execute josm." || true
-    if [[ $JAVACMD == *"java-9"* ]]; then
+    if [ "`expr match \"${JAVACMD}\" 'java-9'`" != "0" ]; then
         JAVA_OPTS="--add-modules java.se.ee $JAVA_OPTS"
     fi