# HG changeset patch
# User wenzelm
# Date 1218895025 -7200
# Node ID a374f889ac5ae6610e56b9ce248f430903b281bb
# Parent  09b3010ffaf24271ed019787d342311c2128e3d8
added Tools/isabelle_system.scala;

diff -r 09b3010ffaf2 -r a374f889ac5a src/Pure/IsaMakefile
--- a/src/Pure/IsaMakefile	Sat Aug 16 14:29:25 2008 +0200
+++ b/src/Pure/IsaMakefile	Sat Aug 16 15:57:05 2008 +0200
@@ -115,7 +115,7 @@
 ## Scala material
 
 SCALA_TARGET = $(ISABELLE_HOME)/lib/classes/Pure.jar
-SCALA_FILES = General/symbol.scala
+SCALA_FILES = General/symbol.scala Tools/isabelle_system.scala
 
 jar: $(SCALA_TARGET)
 
@@ -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 $@ isabelle
 
 clean-jar:
 	@rm -f $(SCALA_TARGET)