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

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

-- 
Marc Glisse