1.1 --- a/Admin/MacOS/App1/script Sat Nov 28 15:53:10 2009 +0100
1.2 +++ b/Admin/MacOS/App1/script Sat Nov 28 15:54:25 2009 +0100
1.3 @@ -48,8 +48,9 @@
1.4 /Applications/Emacs.app/Contents/MacOS/Emacs \
1.5 "")"
1.6
1.7 +declare -a EMACS_OPTIONS=()
1.8 if [ -n "$PROOFGENERAL_EMACS" ]; then
1.9 - EMACS_OPTIONS="-p $PROOFGENERAL_EMACS"
1.10 + EMACS_OPTIONS=(-p "$PROOFGENERAL_EMACS")
1.11 fi
1.12
1.13
1.14 @@ -57,7 +58,7 @@
1.15
1.16 OUTPUT="/tmp/isabelle$$.out"
1.17
1.18 -( "$ISABELLE_TOOL" emacs $EMACS_OPTIONS "$@" ) > "$OUTPUT" 2>&1
1.19 +( "$ISABELLE_TOOL" emacs "${EMACS_OPTIONS[@]}" "$@" ) > "$OUTPUT" 2>&1
1.20 RC=$?
1.21
1.22 if [ "$RC" != 0 ]; then