more robust handling of emacs options -- this is not necessarily an Isabelle process environment yet;
authorwenzelm
Tue Apr 14 18:18:15 2009 +0200 (2009-04-14)
changeset 30893b310beb36645
parent 30892 b2dee0d2b618
child 30894 49c14e3cdc4b
more robust handling of emacs options -- this is not necessarily an Isabelle process environment yet;
Admin/MacOS/script
     1.1 --- a/Admin/MacOS/script	Tue Apr 14 17:47:31 2009 +0200
     1.2 +++ b/Admin/MacOS/script	Tue Apr 14 18:18:15 2009 +0200
     1.3 @@ -49,7 +49,7 @@
     1.4    "")"
     1.5  
     1.6  if [ -n "$PROOFGENERAL_EMACS" ]; then
     1.7 -  PROOFGENERAL_OPTIONS="-p $PROOFGENERAL_EMACS $PROOFGENERAL_OPTIONS"
     1.8 +  EMACS_OPTIONS="-p $PROOFGENERAL_EMACS"
     1.9  fi
    1.10  
    1.11  
    1.12 @@ -57,7 +57,7 @@
    1.13  
    1.14  OUTPUT="/tmp/isabelle$$.out"
    1.15  
    1.16 -( "$ISABELLE_TOOL" emacs "$@" ) > "$OUTPUT" 2>&1
    1.17 +( "$ISABELLE_TOOL" emacs $EMACS_OPTIONS "$@" ) > "$OUTPUT" 2>&1
    1.18  RC=$?
    1.19  
    1.20  if [ "$RC" != 0 ]; then