# HG changeset patch
# User clasohm
# Date 784152279 -3600
# Node ID 028a32af4c4d7609c775ca0bad9252dbfb4e5c0c
# Parent  edadccb7617801f21436009c01975523c4332920
changed command for making 'test'

diff -r edadccb76178 -r 028a32af4c4d Makefile
--- a/Makefile	Fri Nov 04 14:19:30 1994 +0100
+++ b/Makefile	Sun Nov 06 21:04:39 1994 +0100
@@ -84,7 +84,7 @@
 #Load ex/ROOT.ML last since it creates the file "test"
 test:   $(BIN)/HOL  $(IMP_FILES) $(IOA_FILES) $(SUBST_FILES)  $(EX_FILES)
 	case "$(COMP)" in \
-	poly*)	echo 'use"IMP/ROOT.ML"; use"IOA/ROOT.ML"; use"Subst/ROOT.ML"; use"ex/ROOT.ML"; quit();' \
+	poly*)	echo '(use"IMP/ROOT.ML"; use"IOA/ROOT.ML"; use"Subst/ROOT.ML"; use"ex/ROOT.ML"); quit();' \
                         | $(COMP) $(BIN)/HOL ;;\
 	sml*)	echo 'use"IMP/ROOT.ML"; use"IOA/ROOT.ML"; use"Subst/ROOT.ML"; use"ex/ROOT.ML";' | $(BIN)/HOL;;\
 	*)	echo Bad value for ISABELLECOMP: \