/bin/bash ./configure gmp problem with old /bin/sh bourne shell
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".
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
More information about the gmp-bugs