summaryrefslogtreecommitdiffstats
path: root/configs/default
diff options
context:
space:
mode:
authorDan Nicholson <dbn.lists@gmail.com>2008-07-08 07:49:31 -0700
committerDan Nicholson <dbn.lists@gmail.com>2008-07-12 10:25:40 -0700
commit4f5d97ee9eae6f2adf27e2297f955b601483d61b (patch)
tree7794a1ab302ea6f09d0c9e898ae03d75910d4516 /configs/default
parent9eee7f260f4474f9eea7384b94619b3f7fee017b (diff)
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.
Diffstat (limited to 'configs/default')
-rw-r--r--configs/default2
1 files changed, 1 insertions, 1 deletions
diff --git a/configs/default b/configs/default
index 5193c1442d9..6c2594b6a9c 100644
--- 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