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