lib/scripts/getsettings
changeset 27910 6f60110e317c
parent 27908 97f8b7c0f420
child 27911 31523791345a
equal deleted inserted replaced
27909:a8e1be26410f 27910:6f60110e317c
    46 
    46 
    47 #JVM path wrappers
    47 #JVM path wrappers
    48 if [ "$OSTYPE" = cygwin ]; then
    48 if [ "$OSTYPE" = cygwin ]; then
    49   CLASSPATH="$(cygpath -u -p "$CLASSPATH")"
    49   CLASSPATH="$(cygpath -u -p "$CLASSPATH")"
    50   function jvmpath() { cygpath -w -p "$@"; }
    50   function jvmpath() { cygpath -w -p "$@"; }
    51   function javawrapper() { env CLASSPATH="$(javapath "$CLASSPATH")" java "$@"; }
    51   function javawrapper() { env CLASSPATH="$(jvmpath "$CLASSPATH")" java "$@"; }
    52   function scalawrapper() { env CLASSPATH="$(javapath "$CLASSPATH")" scala "$@"; }
    52   function scalawrapper() { env CLASSPATH="$(jvmpath "$CLASSPATH")" scala "$@"; }
    53 else
    53 else
    54   function jvmpath() { echo "$@"; }
    54   function jvmpath() { echo "$@"; }
    55   function javawrapper() { java "$@"; }
    55   function javawrapper() { java "$@"; }
    56   function scalawrapper() { scala "$@"; }
    56   function scalawrapper() { scala "$@"; }
    57 fi
    57 fi