diff options
| author | Eli Zaretskii <eliz@gnu.org> | 1999-07-01 13:28:10 +0000 |
|---|---|---|
| committer | Eli Zaretskii <eliz@gnu.org> | 1999-07-01 13:28:10 +0000 |
| commit | 94b041809bc2735d8aa2e813ed9a2d6528f3fa29 (patch) | |
| tree | 00ab0a079de146a9268e4eaedfbe0a309cf1313d | |
| parent | 6c717109ed8128c0f0c02238d1b4a79823d8f448 (diff) | |
| download | emacs-94b041809bc2735d8aa2e813ed9a2d6528f3fa29.tar.gz | |
(SHELL, MAKESHELL): Don't use /dos/command, it can
invoke an incompatible version of COMAMND.COM.
| -rw-r--r-- | msdos/mainmake.v2 | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/msdos/mainmake.v2 b/msdos/mainmake.v2 index 626ed5f350c..2e613156e33 100644 --- a/msdos/mainmake.v2 +++ b/msdos/mainmake.v2 @@ -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)) |