* Makefile.in (SHELL): Now @SHELL@, not /bin/sh,

for portability to hosts where /bin/sh has problems.

2 files changed, 6 insertions, 1 deletions

diff --git a/src/ChangeLog b/src/ChangeLog
index dfcad3bf120..ed2346424ea 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,8 @@
+2013-08-28  Paul Eggert  <eggert@cs.ucla.edu>
+
+        * Makefile.in (SHELL): Now @SHELL@, not /bin/sh,
+        for portability to hosts where /bin/sh has problems.
+
 2013-08-28  Dmitry Antipov  <dmantipov@yandex.ru>
 
         Redesign redisplay interface to drop global output_cursor.
diff --git a/src/Makefile.in b/src/Makefile.in
index f0ed770ac8f..0e7ff9cbd33 100644
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -23,7 +23,7 @@
 # script may need modifying in sync with changes made here.  Try to
 # avoid shell-ism because the DOS build has to use the DOS shell.
 
-SHELL = /bin/sh
+SHELL = @SHELL@
 
 # Here are the things that we expect ../configure to edit.
 # We use $(srcdir) explicitly in dependencies so as not to depend on VPATH.