1.1 --- a/src/Pure/IsaMakefile Sat Aug 16 16:44:10 2008 +0200
1.2 +++ b/src/Pure/IsaMakefile Sat Aug 16 21:23:01 2008 +0200
1.3 @@ -121,9 +121,9 @@
1.4
1.5 $(SCALA_TARGET): $(SCALA_FILES)
1.6 @rm -rf classes && mkdir classes
1.7 - scalac -d classes -target jvm-1.5 -optimise $(SCALA_FILES)
1.8 + scalac -d classes -target jvm-1.5 $(SCALA_FILES)
1.9 @mkdir -p `dirname $@`
1.10 - @cd classes; jar cf `jvmpath $@` isabelle
1.11 + @cd classes; jar cf $@ isabelle
1.12
1.13 clean-jar:
1.14 @rm -f $(SCALA_TARGET)