From faf79ea7e159d21fb1da626d66d36268a4a626ff Mon Sep 17 00:00:00 2001
From: Volker Grabsch <vog@notjusthosting.com>
Date: Wed, 26 May 2010 02:33:59 +0200
Subject: [PATCH] forge gdb to use Bash instead of the potentially buggy
 /bin/sh in package gdb  (by Tony Theodore)

---
 src/gdb.mk | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/gdb.mk b/src/gdb.mk
index 6bec2b3f..6b51f789 100644
--- a/src/gdb.mk
+++ b/src/gdb.mk
@@ -22,7 +22,8 @@ define $(PKG)_BUILD
     cd '$(1)' && ./configure \
         --host='$(TARGET)' \
         --disable-shared \
-        --prefix='$(PREFIX)/$(TARGET)'
+        --prefix='$(PREFIX)/$(TARGET)' \
+        CONFIG_SHELL=$(SHELL)
     $(MAKE) -C '$(1)' -j '$(JOBS)'
     $(MAKE) -C '$(1)/gdb' -j 1 install
 endef