diff -r 91d8abf108be -r c24a79fe3651 bin/isatool --- a/bin/isatool Fri Dec 13 18:45:58 1996 +0100 +++ b/bin/isatool Mon Dec 16 09:53:30 1996 +0100 @@ -8,7 +8,7 @@ ## settings ISABELLE_HOME=$(dirname $(dirname $0)) -. $ISABELLE_HOME/lib/scripts/getsettings +. $ISABELLE_HOME/lib/scripts/getsettings || exit 2 ## diagnostics