# HG changeset patch
# User wenzelm
# Date 1218897783 -7200
# Node ID c1418834316d2d7eb694fca093d0246e99670e35
# Parent  1eb8a3902d4987494be427a598db51d472f0c1b8
jar target: jvmpath;

diff -r 1eb8a3902d49 -r c1418834316d src/Pure/IsaMakefile
--- a/src/Pure/IsaMakefile	Sat Aug 16 16:01:53 2008 +0200
+++ b/src/Pure/IsaMakefile	Sat Aug 16 16:43:03 2008 +0200
@@ -123,7 +123,7 @@
 	@rm -rf classes && mkdir classes
 	scalac -d classes -target jvm-1.5 -optimise $(SCALA_FILES)
 	@mkdir -p `dirname $@`
-	@cd classes; jar cf $@ isabelle
+	@cd classes; jar cf `jvmpath $@` isabelle
 
 clean-jar:
 	@rm -f $(SCALA_TARGET)