# HG changeset patch
# User wenzelm
# Date 1218914581 -7200
# Node ID ddf74e16ab0101051b6c15901d86b07dccfc8362
# Parent  25818c7907f3e1f904f399ceae536951bb222310
jar target: removed jvmpath -- does not work on Linux!?

diff -r 25818c7907f3 -r ddf74e16ab01 src/Pure/IsaMakefile
--- a/src/Pure/IsaMakefile	Sat Aug 16 16:44:10 2008 +0200
+++ b/src/Pure/IsaMakefile	Sat Aug 16 21:23:01 2008 +0200
@@ -121,9 +121,9 @@
 
 $(SCALA_TARGET): $(SCALA_FILES)
 	@rm -rf classes && mkdir classes
-	scalac -d classes -target jvm-1.5 -optimise $(SCALA_FILES)
+	scalac -d classes -target jvm-1.5 $(SCALA_FILES)
 	@mkdir -p `dirname $@`
-	@cd classes; jar cf `jvmpath $@` isabelle
+	@cd classes; jar cf $@ isabelle
 
 clean-jar:
 	@rm -f $(SCALA_TARGET)