Admin/MacOS/App1/script
changeset 33912 a5e6e849a0d8
parent 31924 47b59620f37f
child 41610 9f99196ebd9f
     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