From 9eee7f260f4474f9eea7384b94619b3f7fee017b Mon Sep 17 00:00:00 2001
From: Dan Nicholson <dbn.lists@gmail.com>
Date: Tue, 8 Jul 2008 07:44:58 -0700
Subject: [PATCH] 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 | 1 +
 1 file changed, 1 insertion(+)

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
-- 
2.30.2