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

92053f38 · Guido van Rossum · 4a50e0a0 · 92053f38
Commit 92053f38 authored Oct 24, 1996 by Guido van Rossum
Show whitespace changes
Inline Side-by-side

Showing with 3 additions and 0 deletions

Misc/Makefile.pre.in Misc/Makefile.pre.in +3 -0

No files found.
--- 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