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 e9caa801c9ea464efacc77dc0b2cbfea8c54caed..32e59d411df4c98022df7fc6a04d0c18130ae701 100644 (file)
--- 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