# HG changeset patch
# User lcp
# Date 751726175 -3600
# Node ID b9ac34abc0541a3f2402727937a2b1949cbde4f8
# Parent  4cc5a34292a945822dccbae3101ec8cead8c9589
no longer specifies "-h 15000".  Instead $ISABELLECOMP should
include any switch settings.

diff -r 4cc5a34292a9 -r b9ac34abc054 src/ZF/Makefile
--- a/src/ZF/Makefile	Tue Oct 26 22:24:20 1993 +0100
+++ b/src/ZF/Makefile	Wed Oct 27 13:49:35 1993 +0100
@@ -32,7 +32,7 @@
 $(BIN)/ZF:   $(BIN)/FOL  $(FILES) 
 	case "$(COMP)" in \
 	poly*)	cp $(BIN)/FOL $(BIN)/ZF;\
-		echo 'open PolyML; use"ROOT";' | $(COMP) -h 15000 $(BIN)/ZF ;;\
+		echo 'open PolyML; use"ROOT";' | $(COMP) $(BIN)/ZF ;;\
 	sml*)	echo 'use"ROOT.ML"; xML"$(BIN)/ZF" banner;' | $(BIN)/FOL;;\
 	*)	echo Bad value for ISABELLECOMP;;\
 	esac
@@ -42,7 +42,7 @@
 
 test:   ex/ROOT.ML  $(BIN)/ZF
 	case "$(COMP)" in \
-	poly*)	echo 'use"ex/ROOT.ML"; quit();' | $(COMP) -h 15000 $(BIN)/ZF ;;\
+	poly*)	echo 'use"ex/ROOT.ML"; quit();' | $(COMP) $(BIN)/ZF ;;\
 	sml*)	echo 'use"ex/ROOT.ML";' | $(BIN)/ZF;;\
 	*)	echo Bad value for ISABELLECOMP;;\
 	esac