diff options
| -rw-r--r-- | generic/proof-config.el | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 191a5d13..7682c860 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -1477,8 +1477,11 @@ quote characters." (defcustom proof-shell-process-connection-type ;; Use ptys unless it seems like we're on Solaris. Only have - ;; a good chance to guess if shell-command-to-string available. - (if (fboundp 'shell-command-to-string) + ;; a good chance to guess if shell-command-to-string and uname + ;; available. + (if (and + (not (fboundp 'win32-long-file-name)) + (fboundp 'shell-command-to-string)) (not (string-match "[sS]un" (shell-command-to-string "uname"))) t) "The value of process-connection-type for the proof shell. |