* Hideki Yamane <henrich@debian.or.jp>, 2011-05-09, 07:09:
On Thu, 5 May 2011 21:19:31 +0900 Hideki Yamane <henrich@debian.or.jp> wrote:+export CONFIG_SHELL=/bin/bashI rewrite it as non-bash depend one.
Hmm? I thought that the problem is that configure cannot be run by anything but bash.
+export CONFIG_SHELL=$(shell echo $$SHELL) +
That looks wrong. -- Jakub Wilk