| changeset 48455 | a509f19d4cc6 |
| parent 48448 | 94c11abc5a52 |
| child 48495 | bf5b45870110 |
--- a/lib/scripts/getsettings Mon Jul 23 19:07:01 2012 +0200 +++ b/lib/scripts/getsettings Mon Jul 23 21:01:16 2012 +0200 @@ -51,6 +51,10 @@ #platform source "$ISABELLE_HOME/lib/scripts/isabelle-platform" +if [ -z "$ISABELLE_PLATFORM" ]; then + echo 1>&2 "Failed to determine hardware and operating system type!" + exit 2 +fi #Isabelle distribution identifier -- filled in automatically! ISABELLE_ID=""