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.
proper jvmpath for Windows;
authorwenzelm
Tue, 25 Sep 2012 22:52:40 +0200
changeset 49567 136dd296ba24
parent 49566 66cbf8bb4693
child 49568 6e4510ccf1bb
proper jvmpath for Windows;
src/Tools/Graphview/lib/Tools/graphview file | annotate | diff | comparison | revisions 
--- a/src/Tools/Graphview/lib/Tools/graphview	Tue Sep 25 22:36:06 2012 +0200
+++ b/src/Tools/Graphview/lib/Tools/graphview	Tue Sep 25 22:52:40 2012 +0200
@@ -162,7 +162,7 @@
   ) || fail "Failed to compile sources"
 
   cd classes
-  isabelle_jdk jar cf "$TARGET" * || failed
+  isabelle_jdk jar cf "$(jvmpath "$TARGET")" * || failed
   cd ..
   rm -rf classes
 fi
isabelle