Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
adapted to Cygwin;
authorwenzelm
Thu, 23 Jun 2011 16:34:29 +0200
changeset 43522 2562d6c81b03
parent 43521 d477b92109b8
child 43523 5aaa0fe92672
adapted to Cygwin;
lib/scripts/java_ext_dirs file | annotate | diff | comparison | revisions 
--- 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
isabelle