/bin/bash ./configure gmp problem with old /bin/sh bourne shell

[Christian Maeder]

see also
http://lists.gnu.org/archive/html/bug-autoconf/2014-04/msg00004.html
for an answer from "bug-autoconf at gnu.org"

C.

Am 09.04.2014 16:25, schrieb Christian Maeder:
> I've testet CONFIG_SHELL with /bin/sh and /bin/bash.
>
> Whatever is set in CONFIG_SHELL in ends up as SHELL in config.status,
> regardless of the call ./configure or "/bin/bash ./configure".
>
> Cheers Christian
>
> Am 09.04.2014 16:16, schrieb Marc Glisse:
>> On Wed, 9 Apr 2014, Christian Maeder wrote:
>>
>>> The detected SHELL should be /bin/bash (since /bin/sh does not work).
>>
>> Not a direct answer, but have you tried setting CONFIG_SHELL in the
>> environment?
>>
>