# HG changeset patch
# User wenzelm
# Date 1348606360 -7200
# Node ID 136dd296ba24de84b3f37a28428321c20ecfb3c7
# Parent  66cbf8bb46933cb0c10fc4218a21c9bd8448655c
proper jvmpath for Windows;

diff -r 66cbf8bb4693 -r 136dd296ba24 src/Tools/Graphview/lib/Tools/graphview
--- 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