--- a/src/Sequents/Makefile Thu Mar 20 12:34:08 1997 +0100
+++ b/src/Sequents/Makefile Thu Mar 20 18:27:05 1997 +0100
@@ -60,13 +60,11 @@
test: $(BIN)/Sequents $(EX_FILES)
@case `basename "$(COMP)"` in \
- poly*) echo 'exit_use"ex/ROOT.ML";quit();' | $(COMP) $(BIN)/Sequents;;\
- sml*) echo 'exit_use"ex/ROOT.ML";' | $(BIN)/Sequents;;\
+ poly*) echo 'exit_use_dir"ex";quit();' | $(COMP) $(BIN)/Sequents;;\
+ sml*) echo 'exit_use_dir"ex";' | $(BIN)/Sequents;;\
*) echo Bad value for ISABELLECOMP: \
\"$(COMP)\" is not poly or sml;;\
esac
-
-
.PRECIOUS: $(BIN)/Pure $(BIN)/Sequents