Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/Graphview/lib/Tools/graphview
changeset 49567 136dd296ba24
parent 49565 ea4308b7ef0f
child 49569 7b6aaf446496 
--- 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