changeset 40570 | bf8f92bdf630 |
parent 40568 | 3003be923908 |
child 41511 | 2fe62d602681 |
--- a/lib/scripts/getsettings Tue Nov 16 21:48:14 2010 +0100 +++ b/lib/scripts/getsettings Tue Nov 16 21:54:52 2010 +0100 @@ -91,6 +91,13 @@ function init_component () { local COMPONENT="$1" + case "$COMPONENT" in + /*) ;; + *) + echo >&2 "Absolute component path required: \"$COMPONENT\"" + exit 2 + ;; + esac if [ ! -d "$COMPONENT" ]; then echo >&2 "Bad Isabelle component: \"$COMPONENT\""