diff options
author | Dan Nicholson <[email protected]> | 2008-07-11 13:54:48 -0700 |
---|---|---|
committer | Dan Nicholson <[email protected]> | 2008-07-12 10:25:40 -0700 |
commit | db072baaaf6adcd176ea7e4d67b77177de7eca31 (patch) | |
tree | 03d44046fa8e50f0bbd23bd283dd3d6a7b480d91 /configs | |
parent | 4f5d97ee9eae6f2adf27e2297f955b601483d61b (diff) |
Call mklib with $(SHELL) so the user controls the interpreter
Respect the user's choice of shell when running mklib rather than always
using /bin/sh.
Diffstat (limited to 'configs')
-rw-r--r-- | configs/default | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/configs/default b/configs/default index 6c2594b6a9c..a14078fa269 100644 --- a/configs/default +++ b/configs/default @@ -26,6 +26,7 @@ GLU_CFLAGS = # Misc tools and flags SHELL = /bin/sh +MKLIB = $(SHELL) $(TOP)/bin/mklib MKLIB_OPTIONS = MKDEP = makedepend MKDEP_OPTIONS = -fdepend |