lib/scripts/getsettings
changeset 43519 024bd7f5ee0f
parent 41760 bf49b7a85936
child 45094 a43694a0b726
equal deleted inserted replaced
43518:7cad71ca9bcc 43519:024bd7f5ee0f
    58   CLASSPATH="$(cygpath -u -p "$CLASSPATH")"
    58   CLASSPATH="$(cygpath -u -p "$CLASSPATH")"
    59   function jvmpath() { cygpath -C UTF8 -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   CLASSPATH="$CLASSPATH"
    63 fi
    64 fi
    64 HOME_JVM="$HOME"
    65 HOME_JVM="$HOME"
    65 
    66 
    66 #shared library convenience
    67 #shared library convenience
    67 function librarypath () {
    68 function librarypath () {