# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 894568709 0
# Node ID e73c0672d7b3b7cd5fcc6cad7b20b11d9a605a7e
# Parent  ce6e1fa2fefc59de409abcd3647cebd82acc9af1
(sh-shell-file): Add cmdproxy to MS shells.

diff -r ce6e1fa2fefc -r e73c0672d7b3 lisp/progmodes/sh-script.el
--- 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")