src/ZF/Makefile
changeset 700 31f50c1778ef
parent 589 31847a7504ec
child 798 31ec33d96231
--- a/src/ZF/Makefile	Thu Nov 10 11:06:44 1994 +0100
+++ b/src/ZF/Makefile	Thu Nov 10 11:36:40 1994 +0100
@@ -70,9 +70,9 @@
 #Load ex/ROOT.ML last since it creates the file "test"
 test:   $(BIN)/ZF  $(IMP_FILES) $(EX_FILES)
 	case "$(COMP)" in \
-	poly*)	echo 'use"IMP/ROOT.ML"; use"ex/ROOT.ML"; quit();' | \
+	poly*)	echo '(use"IMP/ROOT.ML"; use"ex/ROOT.ML"); quit();' | \
 			$(COMP) $(BIN)/ZF ;;\
-	sml*)	echo 'use"IMP/ROOT.ML"; use"ex/ROOT.ML";' | $(BIN)/ZF;;\
+	sml*)	echo '(use"IMP/ROOT.ML"; use"ex/ROOT.ML");' | $(BIN)/ZF;;\
 	*)	echo Bad value for ISABELLECOMP: \
                 	$(COMP) is not poly or sml;;\
 	esac