diff options
Diffstat (limited to 'tools/_util.sh')
| -rw-r--r-- | tools/_util.sh | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/tools/_util.sh b/tools/_util.sh index 4650616..fa7e3b5 100644 --- a/tools/_util.sh +++ b/tools/_util.sh | |||
| @@ -15,7 +15,12 @@ RUNTIME_LIB_DIRS="pico jaxb gson" | |||
| 15 | 15 | ||
| 16 | MAIN_CLASS="market.guess.ui.console.App" | 16 | MAIN_CLASS="market.guess.ui.console.App" |
| 17 | 17 | ||
| 18 | JAVA_HOME_DIR=$(java -XshowSettings:properties -version 2>&1 | sed -n 's/^ *java\.home = //p') | 18 | JAVA_HOME_DIR=$(java -XshowSettings:properties -version 2>&1 | tr -d '\r' | sed -n 's/^ *java\.home = //p') |
| 19 | case "$(uname -s)" in | ||
| 20 | CYGWIN*|MINGW*|MSYS*) | ||
| 21 | JAVA_HOME_DIR=$(cygpath -u "$JAVA_HOME_DIR" 2>/dev/null || echo "$JAVA_HOME_DIR") | ||
| 22 | ;; | ||
| 23 | esac | ||
| 19 | JAR="$JAVA_HOME_DIR/bin/jar" | 24 | JAR="$JAVA_HOME_DIR/bin/jar" |
| 20 | [ -x "$JAR" ] || JAR="$JAVA_HOME_DIR/bin/jar.exe" | 25 | [ -x "$JAR" ] || JAR="$JAVA_HOME_DIR/bin/jar.exe" |
| 21 | if [ ! -x "$JAR" ]; then | 26 | if [ ! -x "$JAR" ]; then |