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

Marc Glisse marc.glisse at inria.fr
Wed Apr 9 14:16:28 UTC 2014

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 

Marc Glisse

More information about the gmp-bugs mailing list