Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned msg;
authorwenzelm
Tue, 31 May 2005 11:53:22 +0200
changeset 16131 e1b85512d87d
parent 16130 38b111451155
child 16132 afd2d32c7d94
tuned msg;
src/Pure/mk file | annotate | diff | comparison | revisions 
--- a/src/Pure/mk	Tue May 31 11:53:21 2005 +0200
+++ b/src/Pure/mk	Tue May 31 11:53:22 2005 +0200
@@ -65,8 +65,7 @@
 # get compatibility file
 
 ML_SYSTEM_BASE=$(echo "$ML_SYSTEM" | cut -f1 -d-)
-[ -z "$ML_SYSTEM" ] && \
-  fail "Missing ML system settings! Probably not run via 'isatool make'."
+[ -z "$ML_SYSTEM" ] && fail "Missing ML_SYSTEM settings!"
 
 COMPAT=""
 [ -f "ML-Systems/$ML_SYSTEM_BASE.ML" ] && COMPAT="ML-Systems/$ML_SYSTEM_BASE.ML"
isabelle