| commit | b0259bc3ad4aa89423b2da5192f227ac2acb3a12 | [log] [tgz] |
|---|---|---|
| author | Guido van Rossum <guido@python.org> | Thu Oct 24 21:47:45 1996 +0000 |
| committer | Guido van Rossum <guido@python.org> | Thu Oct 24 21:47:45 1996 +0000 |
| tree | 550f0492da31c94048e670249d7aacf472ea2819 | |
| parent | 71445570c61e40263873d40d22245848507fcaa1 [diff] |
Add SHELL=/bin/sh definition, to override SGI make's default to $SHELL.
diff --git a/Misc/Makefile.pre.in b/Misc/Makefile.pre.in index e9caa80..32e59d4 100644 --- a/Misc/Makefile.pre.in +++ b/Misc/Makefile.pre.in
@@ -126,6 +126,9 @@ # === Fixed definitions === +# Shell used by make (some versions default to the login shell, which is bad) +SHELL= /bin/sh + # Expanded directories BINDIR= $(exec_installdir)/bin LIBDIR= $(exec_prefix)/lib