# HG changeset patch
# User lcp
# Date 770469100 -7200
# Node ID 93e2b7d5bcc45df18cfd2155e0e2ac7e67bdb82a
# Parent  8039ac1065f7aca9e43329da4c94321b1974e1ca
Improved error messages

diff -r 8039ac1065f7 -r 93e2b7d5bcc4 src/Pure/Makefile
--- a/src/Pure/Makefile	Wed Jun 01 08:28:12 1994 +0200
+++ b/src/Pure/Makefile	Wed Jun 01 13:11:40 1994 +0200
@@ -38,13 +38,14 @@
 		cp $(ML_DBASE) $(BIN)/Pure; chmod u+w $(BIN)/Pure;\
 		echo 'PolyML.use"POLY";use"ROOT";' | $(COMP) $(BIN)/Pure;;\
 	sml*)	if [ ! '(' -d $${ISABELLEBIN:?} -a -w $${ISABELLEBIN:?} ')' ];\
-           	then echo Bad value for ISABELLEBIN : \
+           	then echo Bad value for ISABELLEBIN: \
                 	$(BIN) is not a writable directory; \
                 	exit 1; \
            	fi;\
 		echo 'use"NJ.ML"; use"ROOT.ML"; xML"$(BIN)/Pure" banner;'\
 			  | $(COMP);;\
-	*)	echo Bad value for ISABELLECOMP;;\
+	*)	echo Bad value for ISABELLECOMP: \
+                	$(COMP) is not poly or sml;;\
 	esac
 
 .PRECIOUS:  $(BIN)/Pure