2 files changed, 6 insertions, 4 deletions

diff --git a/leim/ChangeLog b/leim/ChangeLog
index abe0e195ff9..3e25c0edbe1 100644
--- a/leim/ChangeLog
+++ b/leim/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-06-21  Juanma Barranquero  <lekktu@gmail.com>
 
         * quail/croatian.el ("croatian-prefix"):
diff --git a/leim/Makefile.in b/leim/Makefile.in
index b04eb6c2e77..7c3f3ca47e1 100644
--- a/leim/Makefile.in
+++ b/leim/Makefile.in
@@ -21,10 +21,7 @@
 # You should have received a copy of the GNU General Public License
 # along with GNU Emacs.  If not, see <http://www.gnu.org/licenses/>.
 
-
-# Avoid trouble on systems where the `SHELL' variable might be
-# inherited from the environment.
-SHELL = /bin/sh
+SHELL = @SHELL@
 
 # Here are the things that we expect ../configure to edit.
 srcdir=@srcdir@