Add SHELL=/bin/sh definition, to override SGI make's default to $SHELL.

gvanrossum · gvanrossum · commit b0259bc3ad4a · 1996-10-24T21:47:45.000Z
diff --git 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
