# HG changeset patch
# User wenzelm
# Date 855758630 -3600
# Node ID a224a2865e058c1ce9d58eeb62396150a63d009a
# Parent  27cdd600a3b13c6c2a7fca6420beb127bdadf26a
TFL: missing -q option!

diff -r 27cdd600a3b1 -r a224a2865e05 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Wed Feb 12 15:42:31 1997 +0100
+++ b/src/HOL/IsaMakefile	Wed Feb 12 15:43:50 1997 +0100
@@ -34,7 +34,7 @@
             $(TFL_NAMES:%=../TFL/%.sig) $(TFL_NAMES:%=../TFL/%.sml)
 
 TFL:	$(OUT)/HOL $(TFL_FILES)
-	@$(ISABELLE) -e 'exit_use_dir"../TFL"; quit();' HOL
+	@$(ISABELLE) -qe 'exit_use_dir"../TFL"; quit();' HOL