Call minstall with $(SHELL) so the user controls the interpreter

Running minstall directly means that /bin/sh is always used as hte
interpreter. If the user needs or wants to use a different shell fo
minstall, they can use the SHELL make variable.

diff --git a/configs/autoconf.in b/configs/autoconf.in
index d22c2c5183956f5512cd81df58417ee235ad70b6..8ed1c93d11a0796f81c58a5b677d0d839b499bb8 100644 (file)
--- a/configs/autoconf.in
+++ b/configs/autoconf.in
@@ -31,7 +31,6 @@ SHELL = @SHELL@
 MKLIB_OPTIONS = @MKLIB_OPTIONS@
 MKDEP = @MKDEP@
 MKDEP_OPTIONS = @MKDEP_OPTIONS@
-INSTALL = $(TOP)/bin/minstall
 
 # Python and flags (generally only needed by the developers)
 PYTHON2 = python

diff --git a/configs/default b/configs/default
index 5193c1442d91ebe3b93c736dd38964ada1a4483e..6c2594b6a9cbb638e337475d494325a2ddaaab14 100644 (file)
--- a/configs/default
+++ b/configs/default
@@ -30,7 +30,7 @@ MKLIB_OPTIONS =
 MKDEP = makedepend
 MKDEP_OPTIONS = -fdepend
 MAKE = make
-INSTALL = $(TOP)/bin/minstall
+INSTALL = $(SHELL) $(TOP)/bin/minstall
 
 # Tools for regenerating glapi (generally only needed by the developers)
 PYTHON2 = python