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

[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?
>