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

Christian Maeder Christian.Maeder at dfki.de
Wed Apr 9 14:25:18 UTC 2014

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?

More information about the gmp-bugs mailing list