1 files changed, 1 insertions, 1 deletions
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.

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 @@
23	# script may need modifying in sync with changes made here. Try to	23	# script may need modifying in sync with changes made here. Try to
24	# avoid shell-ism because the DOS build has to use the DOS shell.	24	# avoid shell-ism because the DOS build has to use the DOS shell.
25		25
26	SHELL = /bin/sh	26	SHELL = @SHELL@
27		27
28	# Here are the things that we expect ../configure to edit.	28	# Here are the things that we expect ../configure to edit.
29	# We use $(srcdir) explicitly in dependencies so as not to depend on VPATH.	29	# We use $(srcdir) explicitly in dependencies so as not to depend on VPATH.