diff options
author | Guido van Rossum <guido@python.org> | 1996-10-24 21:47:45 (GMT) |
---|---|---|
committer | Guido van Rossum <guido@python.org> | 1996-10-24 21:47:45 (GMT) |
commit | b0259bc3ad4aa89423b2da5192f227ac2acb3a12 (patch) | |
tree | 550f0492da31c94048e670249d7aacf472ea2819 | |
parent | 71445570c61e40263873d40d22245848507fcaa1 (diff) | |
download | cpython-b0259bc3ad4aa89423b2da5192f227ac2acb3a12.zip cpython-b0259bc3ad4aa89423b2da5192f227ac2acb3a12.tar.gz cpython-b0259bc3ad4aa89423b2da5192f227ac2acb3a12.tar.bz2 |
Add SHELL=/bin/sh definition, to override SGI make's default to $SHELL.
-rw-r--r-- | Misc/Makefile.pre.in | 3 |
1 files changed, 3 insertions, 0 deletions
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 |