--- 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"