equal
deleted
inserted
replaced
53 echo "$RESULT" |
53 echo "$RESULT" |
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 -i -u -p "$CLASSPATH")" |
59 function jvmpath() { cygpath -C UTF8 -w -p "$@"; } |
59 function jvmpath() { cygpath -i -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 CLASSPATH="$CLASSPATH" |
63 CLASSPATH="$CLASSPATH" |
64 fi |
64 fi |