| changeset 27922 | ddf74e16ab01 |
| parent 27920 | c1418834316d |
| child 27925 | beb2816f8084 |
--- 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)