From: Guido van Rossum <guido@python.org>
Date: Thu, 24 Oct 1996 21:47:45 +0000 (+0000)
Subject: Add SHELL=/bin/sh definition, to override SGI make's default to $SHELL.
X-Git-Tag: v1.4~15
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=b0259bc3ad4aa89423b2da5192f227ac2acb3a12;p=thirdparty%2FPython%2Fcpython.git

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 e9caa801c9ea..32e59d411df4 100644
--- a/Misc/Makefile.pre.in
+++ b/Misc/Makefile.pre.in
@@ -126,6 +126,9 @@ exec_prefix=	$(prefix)
 
 # === 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