changeset 24908:075da7e5be80

(SHELL, MAKESHELL): Don't use /dos/command, it can invoke an incompatible version of COMAMND.COM.
author Eli Zaretskii <eliz@gnu.org>
date Thu, 01 Jul 1999 13:28:10 +0000
parents 3a8dabda4664
children 804955a16819
files msdos/mainmake.v2
diffstat 1 files changed, 9 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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))