diff options
author | 2009-12-01 10:58:59 +0000 | |
---|---|---|
committer | 2009-12-01 10:58:59 +0000 | |
commit | 222416c44716e759ec250486cbddb9d4ed30ab32 (patch) | |
tree | bcb6b60020f0d2e8656510dcba230076c533ec53 /bin | |
parent | 7e66b7b4f3513e41fa416fbc3e158d0220bc195a (diff) |
Quote arguments to EMACS/PGHOME.
Diffstat (limited to 'bin')
-rw-r--r-- | bin/proofgeneral | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/bin/proofgeneral b/bin/proofgeneral index 00c5d620..56a4bef6 100644 --- a/bin/proofgeneral +++ b/bin/proofgeneral @@ -44,7 +44,7 @@ Report bugs at http://proofgeneral.inf.ed.ac.uk/trac" VERSIONBLURB='David Aspinall. -Copyright (C) 1998-2008 LFCS, University of Edinburgh, UK. +Copyright (C) 1998-2009 LFCS, University of Edinburgh, UK. This is free software; see the source for copying conditions.' @@ -57,10 +57,10 @@ while echo "$HELP" exit 0;; --emacs) - EMACS=$2 + EMACS="$2" shift;; --pghome) - PGHOME=$2 + PGHOME="$2" shift;; --version|-v) VERSION=`grep proof-general-version $PGHOME/generic/proof-site.el | head -1 | sed -e 's/.*Version //g' | sed -e 's/\. .*//g'` |