equal
deleted
inserted
replaced
54 } |
54 } |
55 |
55 |
56 #JVM path wrapper |
56 #JVM path wrapper |
57 if [ "$OSTYPE" = cygwin ]; then |
57 if [ "$OSTYPE" = cygwin ]; then |
58 CLASSPATH="$(cygpath -u -p "$CLASSPATH")" |
58 CLASSPATH="$(cygpath -u -p "$CLASSPATH")" |
59 function jvmpath() { cygpath -w -p "$@"; } |
59 function jvmpath() { cygpath -C UTF8 -w -p "$@"; } |
60 THIS_CYGWIN="$(jvmpath "/")" |
60 THIS_CYGWIN="$(jvmpath "/")" |
61 else |
61 else |
62 function jvmpath() { echo "$@"; } |
62 function jvmpath() { echo "$@"; } |
63 fi |
63 fi |
64 HOME_JVM="$HOME" |
64 HOME_JVM="$HOME" |