# HG changeset patch
# User wenzelm
# Date 1218834636 -7200
# Node ID 6f60110e317cc605b6fbe8e9d296578800c087e4
# Parent  a8e1be26410f43173dc0ff2daaa5a849d4f803ca
proper jvmpath for cygwin;

diff -r a8e1be26410f -r 6f60110e317c lib/scripts/getsettings
--- a/lib/scripts/getsettings	Fri Aug 15 23:09:55 2008 +0200
+++ b/lib/scripts/getsettings	Fri Aug 15 23:10:36 2008 +0200
@@ -48,8 +48,8 @@
 if [ "$OSTYPE" = cygwin ]; then
   CLASSPATH="$(cygpath -u -p "$CLASSPATH")"
   function jvmpath() { cygpath -w -p "$@"; }
-  function javawrapper() { env CLASSPATH="$(javapath "$CLASSPATH")" java "$@"; }
-  function scalawrapper() { env CLASSPATH="$(javapath "$CLASSPATH")" scala "$@"; }
+  function javawrapper() { env CLASSPATH="$(jvmpath "$CLASSPATH")" java "$@"; }
+  function scalawrapper() { env CLASSPATH="$(jvmpath "$CLASSPATH")" scala "$@"; }
 else
   function jvmpath() { echo "$@"; }
   function javawrapper() { java "$@"; }