changeset 21980:e73c0672d7b3

(sh-shell-file): Add cmdproxy to MS shells.
author Richard M. Stallman <rms@gnu.org>
date Thu, 07 May 1998 19:18:29 +0000
parents ce6e1fa2fefc
children 7f45fb4c0a1f
files lisp/progmodes/sh-script.el
diffstat 1 files changed, 2 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/lisp/progmodes/sh-script.el	Thu May 07 19:15:43 1998 +0000
+++ b/lisp/progmodes/sh-script.el	Thu May 07 19:18:29 1998 +0000
@@ -135,7 +135,8 @@
 	  ;; so use the default instead.
 	  (if (or (null shell)
 		  (member (downcase shell-base)
-			  '("command.com" "cmd.exe" "4dos.com" "ndos.com")))
+			  '("command.com" "cmd.exe" "4dos.com" "ndos.com"
+			    "cmdproxy.exe")))
 	      "/bin/sh"
 	    (file-name-sans-extension (downcase shell)))))
    (getenv "SHELL")