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.
improved error handling;
authorwenzelm
Tue, 17 Dec 1996 12:51:54 +0100
changeset 2428 853732a26bdd
parent 2427 d5efdfad074d
child 2429 747177b67670
improved error handling;
lib/scripts/getsettings file | annotate | diff | comparison | revisions 
--- a/lib/scripts/getsettings	Tue Dec 17 12:51:02 1996 +0100
+++ b/lib/scripts/getsettings	Tue Dec 17 12:51:54 1996 +0100
@@ -9,7 +9,7 @@
 
 set -o allexport
 
-. $ISABELLE_HOME/etc/settings
+. $ISABELLE_HOME/etc/settings || exit 2
 [ -f $ISABELLE_HOME_USER/etc/settings ] && . $ISABELLE_HOME_USER/etc/settings
 
 set +o allexport
isabelle