Fix for gmp/Makefile, problems occur when /bin/sh is not bash

[Ian Lynagh]

Hi Bernie,

On Sun, Mar 02, 2008 at 03:45:41PM +1100, Bernie Pope wrote:
> 
> We should avoid bash features which are not valid in ordinary /bin/sh.
> 
> See the diff below:

Thanks for the patch! I'll apply it.


Thanks
Ian