summaryrefslogtreecommitdiff
path: root/configs
diff options
context:
space:
mode:
Diffstat (limited to 'configs')
-rw-r--r--configs/autoconf.in1
-rw-r--r--configs/default2
2 files changed, 1 insertions, 2 deletions
diff --git a/configs/autoconf.in b/configs/autoconf.in
index d22c2c5183..8ed1c93d11 100644
--- 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 5193c1442d..6c2594b6a9 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