lib/scripts/getsettings
changeset 36194 8e61560ded89
parent 34257 b5176fd9ab3c
child 36196 cbb9ee265cdd
equal deleted inserted replaced
36193:067a01827fca 36194:8e61560ded89
    51 
    51 
    52 #JVM path wrapper
    52 #JVM path wrapper
    53 if [ "$OSTYPE" = cygwin ]; then
    53 if [ "$OSTYPE" = cygwin ]; then
    54   CLASSPATH="$(cygpath -u -p "$CLASSPATH")"
    54   CLASSPATH="$(cygpath -u -p "$CLASSPATH")"
    55   function jvmpath() { cygpath -w -p "$@"; }
    55   function jvmpath() { cygpath -w -p "$@"; }
    56   CYGWIN_ROOT="$(jvmpath "/")"
    56   THIS_CYGWIN="$(jvmpath "/")"
    57 else
    57 else
    58   function jvmpath() { echo "$@"; }
    58   function jvmpath() { echo "$@"; }
    59 fi
    59 fi
    60 HOME_JVM="$HOME"
    60 HOME_JVM="$HOME"
    61 
    61