* GNUmakefile (SHELL): Don't assume sh is in /bin/.

From Ilya Zakharevich.

diff --git a/ChangeLog b/ChangeLog
index c9f968f630eb096af4a0e6caca316c4cc772d744..c7496b837dfa3230c601236ef95859fbc10f5f28 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2003-04-08  Akim Demaille  <akim@epita.fr>
+
+       * GNUmakefile (SHELL): Don't assume sh is in /bin/.
+       From Ilya Zakharevich.
+
 2003-04-08  Akim Demaille  <akim@epita.fr>
 
        * doc/autoconf.texi (Particular Headers): Some about sys/socket.h,

diff --git a/GNUmakefile b/GNUmakefile
index 4a8d2484b388a6482cba19c0c4434660f5de87a5..d6465a5378830c4d167d410adb54d9db2f98e8fe 100644 (file)
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -22,7 +22,13 @@
 
 # Systems where /bin/sh is not the default shell need this.  The $(shell)
 # command below won't work with e.g. stock DOS/Windows shells.
+ifeq ($(wildcard /bin/s[h]),/bin/sh)
 SHELL = /bin/sh
+else
+# will be used only with the next shell-test line, then overwritten
+# by a configured-in value
+SHELL = sh
+endif
 
 have-Makefile := $(shell test -f Makefile && echo yes)
 

diff --git a/THANKS b/THANKS
index 0bbe361e01d67854f12f3af36cc84e63999bb017..bb79745d2bb702c2df5f6aee14ecf0aa01edbe96 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -78,6 +78,7 @@ Harlan Stenn                stenn@whimsy.udel.edu
 H.J. Lu                     hjl@gnu.org
 H. Merijn Brand             h.m.brand@hccnet.nl
 Ian Lance Taylor            ian@cygnus.com
+Ilya Zakharevich            ilya@Math.Berkeley.EDU
 James A. Lupo               lupoja@feynman.ml.wpafb.af.mil
 Jason Molenda               jsm@cygnus.com
 Jeff Garzik                 jgarzik@pobox.com