diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-01-25 15:48:48 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-25 15:48:48 +0000 |
| commit | 7ace0a9c753c8d83117832ba9b4212a561d2ce26 (patch) | |
| tree | 025b96cef83bc6a801a8487f18cc172ee86b9f37 | |
| parent | 9b5441aa6e3b1690afd98e84e55f2faaab4f1f0d (diff) | |
split string on proof-rsh-command
| -rw-r--r-- | generic/proof-shell.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index f8724c9d..55594aa0 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -258,7 +258,8 @@ Does nothing if proof assistant is already running." ;; Splice in proof-rsh-command if it's non-nil (if (and proof-rsh-command (> (length proof-rsh-command) 0)) - (cons proof-rsh-command prog-name-list1) + (append (split-string proof-rsh-command) + prog-name-list1) prog-name-list1)) (prog-command-line (proof-splice-separator " " prog-name-list)) |