# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 930835690 0
# Node ID 075da7e5be803f6100d1a94f23e3de232167c355
# Parent  3a8dabda4664279c0cd6573fc185e2328825d4b6
(SHELL, MAKESHELL): Don't use /dos/command, it can
invoke an incompatible version of COMAMND.COM.

diff -r 3a8dabda4664 -r 075da7e5be80 msdos/mainmake.v2
--- a/msdos/mainmake.v2	Thu Jul 01 08:42:26 1999 +0000
+++ b/msdos/mainmake.v2	Thu Jul 01 13:28:10 1999 +0000
@@ -32,8 +32,15 @@
 # This gork is required for those who use a Unix-style shell, and
 # have SHELL in the environment pointing to it.  Here we force
 # Make to use COMMAND.COM instead.  This Makefile won't work otherwise.
-SHELL=/dos/command
-MAKESHELL=/dos/command
+# (The /xyzzy directory is used to minimize the chance that someone
+# actually has such a directory with an incompatible command.com.  We
+# used to have /dos there, but some Windows installations have an old
+# version of DOS stashed in that directory, and command.com from there
+# won't run on Windows, complaining about "Incorrect DOS version".
+# Make will look up PATH for the shell executable, so the directory name
+# is not important.)
+SHELL=/xyzzy/command
+MAKESHELL=/xyzzy/command
 
 # Generate a full pathname of the top-level installation directory
 top_srcdir := $(subst \,/,$(shell cd))