commit 9eee7f260f4474f9eea7384b94619b3f7fee017b
author Dan Nicholson <dbn.lists@gmail.com> Tue Jul 08 07:44:58 2008 -0700
committer Dan Nicholson <dbn.lists@gmail.com> Sat Jul 12 10:25:40 2008 -0700
tree 8330907be936c3e8c561e58a62d25d73e2f502b5
parent bfb27b5fc020437d95b1185f0fce850209744d92

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.

configs/default

diff --git a/configs/default b/configs/default
index d5b40c5..5193c14 100644
--- a/configs/default
+++ b/configs/default
@@ -25,6 +25,7 @@
 GLU_CFLAGS = 
 
 # Misc tools and flags
+SHELL = /bin/sh
 MKLIB_OPTIONS = 
 MKDEP = makedepend
 MKDEP_OPTIONS = -fdepend