# HG changeset patch
# User wenzelm
# Date 1308839669 -7200
# Node ID 2562d6c81b03b1a23e9c957cf505f43d0efee1ce
# Parent  d477b92109b882c553b0518a7b8826a5bc6abece
adapted to Cygwin;

diff -r d477b92109b8 -r 2562d6c81b03 lib/scripts/java_ext_dirs
--- a/lib/scripts/java_ext_dirs	Thu Jun 23 16:10:22 2011 +0200
+++ b/lib/scripts/java_ext_dirs	Thu Jun 23 16:34:29 2011 +0200
@@ -25,7 +25,7 @@
   pushd "$TARGET_DIR" >/dev/null
 
   rm -rf classes && mkdir classes
-  javac -d classes -source 1.5 "$SOURCE" || fail "Failed to compile sources"
+  javac -d classes -source 1.5 "$(jvmpath "$SOURCE")" || fail "Failed to compile sources"
   jar cf "$(jvmpath "$TARGET")" -C classes . || fail "Failed to produce $TARGET"
   rm -rf classes