# HG changeset patch
# User wenzelm
# Date 1308833312 -7200
# Node ID 024bd7f5ee0febc770b673c19013330a007fbb10
# Parent  7cad71ca9bcc031bb02e5406cb0e6e69c2221561
ensure export of initial CLASSPATH;

diff -r 7cad71ca9bcc -r 024bd7f5ee0f lib/scripts/getsettings
--- 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"