diff options
Diffstat (limited to 'configs/default')
| -rw-r--r-- | configs/default | 2 |
1 files changed, 1 insertions, 1 deletions
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 |