# HG changeset patch
# User wenzelm
# Date 1297613983 -3600
# Node ID a231e6110f9bba73e6652b74c0787654494e96b4
# Parent  7bbd11360bd340cea625eb4cedf4ca656ec1e949
tuned;

diff -r 7bbd11360bd3 -r a231e6110f9b lib/scripts/getsettings
--- a/lib/scripts/getsettings	Sun Feb 13 08:47:36 2011 +0100
+++ b/lib/scripts/getsettings	Sun Feb 13 17:19:43 2011 +0100
@@ -28,7 +28,7 @@
 }
 
 #platform
-. "$ISABELLE_HOME/lib/scripts/isabelle-platform"
+source "$ISABELLE_HOME/lib/scripts/isabelle-platform"
 
 #Isabelle distribution identifier -- filled in automatically!
 ISABELLE_ID=""
@@ -126,7 +126,7 @@
   esac
 
   if [ ! -d "$COMPONENT" ]; then
-    echo >&2 "Bad Isabelle component: \"$COMPONENT\""
+    echo >&2 "Missing Isabelle component directory: \"$COMPONENT\""
     exit 2
   elif [ -z "$ISABELLE_COMPONENTS" ]; then
     ISABELLE_COMPONENTS="$COMPONENT"