lib/scripts/getsettings
changeset 43519 024bd7f5ee0f
parent 41760 bf49b7a85936
child 45094 a43694a0b726
     1.1 --- a/lib/scripts/getsettings	Thu Jun 23 13:23:00 2011 +0200
     1.2 +++ b/lib/scripts/getsettings	Thu Jun 23 14:48:32 2011 +0200
     1.3 @@ -60,6 +60,7 @@
     1.4    THIS_CYGWIN="$(jvmpath "/")"
     1.5  else
     1.6    function jvmpath() { echo "$@"; }
     1.7 +  CLASSPATH="$CLASSPATH"
     1.8  fi
     1.9  HOME_JVM="$HOME"
    1.10