tuned;
authorwenzelm
Sun Feb 13 17:19:43 2011 +0100 (2011-02-13)
changeset 41758a231e6110f9b
parent 41757 7bbd11360bd3
child 41759 6aa5804aaf90
tuned;
lib/scripts/getsettings
     1.1 --- a/lib/scripts/getsettings	Sun Feb 13 08:47:36 2011 +0100
     1.2 +++ b/lib/scripts/getsettings	Sun Feb 13 17:19:43 2011 +0100
     1.3 @@ -28,7 +28,7 @@
     1.4  }
     1.5  
     1.6  #platform
     1.7 -. "$ISABELLE_HOME/lib/scripts/isabelle-platform"
     1.8 +source "$ISABELLE_HOME/lib/scripts/isabelle-platform"
     1.9  
    1.10  #Isabelle distribution identifier -- filled in automatically!
    1.11  ISABELLE_ID=""
    1.12 @@ -126,7 +126,7 @@
    1.13    esac
    1.14  
    1.15    if [ ! -d "$COMPONENT" ]; then
    1.16 -    echo >&2 "Bad Isabelle component: \"$COMPONENT\""
    1.17 +    echo >&2 "Missing Isabelle component directory: \"$COMPONENT\""
    1.18      exit 2
    1.19    elif [ -z "$ISABELLE_COMPONENTS" ]; then
    1.20      ISABELLE_COMPONENTS="$COMPONENT"