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