From 08000e7457501f16d5bf20b611a25fcd11d9652d Mon Sep 17 00:00:00 2001
From: Abdoulaye Walsimou Gaye <awg@embtoolkit.org>
Date: Wed, 26 Jan 2011 20:23:29 +0100
Subject: Embtk: set shell to use

Signed-off-by: Abdoulaye Walsimou Gaye <awg@embtoolkit.org>
---
 Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 701184b..2f80fc4 100644
--- a/Makefile
+++ b/Makefile
@@ -42,7 +42,8 @@ export EMBTK_ROOT
 CONFIG_SHELL := $(shell if [ -x "$$BASH" ]; then echo $$BASH; \
 	  else if [ -x /bin/bash ]; then echo /bin/bash; \
 	  else echo sh; fi ; fi)
-export CONFIG_SHELL
+SHELL := $(CONFIG_SHELL)
+export SHELL CONFIG_SHELL
 
 HOST_ARCH := `$(CONFIG_SHELL) $(EMBTK_ROOT)/scripts/config.guess`
 HOST_BUILD := $(HOST_ARCH)
-- 
cgit v1.2.3