diff options
| author | Dan Nicholson <[email protected]> | 2008-07-08 07:44:58 -0700 |
|---|---|---|
| committer | Dan Nicholson <[email protected]> | 2008-07-12 10:25:40 -0700 |
| commit | 9eee7f260f4474f9eea7384b94619b3f7fee017b (patch) | |
| tree | 8330907be936c3e8c561e58a62d25d73e2f502b5 /configs/default | |
| parent | bfb27b5fc020437d95b1185f0fce850209744d92 (diff) | |
Set $(SHELL) for all configs
Most make implementations will use /bin/sh as the interpreter for
commands and only use a different shell when the $(SHELL) make variable
is set. This makes the setting explicit and allows $(SHELL) to be used
in the commands themselves.
Diffstat (limited to 'configs/default')
| -rw-r--r-- | configs/default | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/configs/default b/configs/default index d5b40c5cd0c..5193c1442d9 100644 --- a/configs/default +++ b/configs/default @@ -25,6 +25,7 @@ LDFLAGS = GLU_CFLAGS = # Misc tools and flags +SHELL = /bin/sh MKLIB_OPTIONS = MKDEP = makedepend MKDEP_OPTIONS = -fdepend |