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

Christian Maeder Christian.Maeder at dfki.de
Thu Apr 10 07:24:39 UTC 2014

see also
for an answer from "bug-autoconf at gnu.org"


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?

More information about the gmp-bugs mailing list