From b0259bc3ad4aa89423b2da5192f227ac2acb3a12 Mon Sep 17 00:00:00 2001 From: Guido van Rossum Date: Thu, 24 Oct 1996 21:47:45 +0000 Subject: Add SHELL=/bin/sh definition, to override SGI make's default to $SHELL. --- Misc/Makefile.pre.in | 3 +++ 1 file changed, 3 insertions(+) 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 @@ 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 -- cgit v0.12