changeset 1001:4b94e4708014

forge gdb to use Bash instead of the potentially buggy /bin/sh in package gdb (by Tony Theodore)
author Volker Grabsch <vog@notjusthosting.com>
date Wed, 26 May 2010 02:33:59 +0200
parents df54eb81f64a
children 92bbc989fb89
files src/gdb.mk
diffstat 1 files changed, 2 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/gdb.mk	Mon May 24 23:28:27 2010 +0200
+++ b/src/gdb.mk	Wed May 26 02:33:59 2010 +0200
@@ -22,7 +22,8 @@
     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