Run "sh ./configure" rather than "sh configure"; part of #7992
authorIan Lynagh <ian@well-typed.com>
Sat, 22 Jun 2013 15:52:09 +0000 (16:52 +0100)
committerIan Lynagh <ian@well-typed.com>
Sat, 22 Jun 2013 15:52:09 +0000 (16:52 +0100)
commite5faefbec737e2dd8c4362821d3884c3498cfd9b
treef33d88eb8452398fd567d88886f3425a862e66e8
parent8c0c77bd47a311cb36809b06d811469182e10899
Run "sh ./configure" rather than "sh configure"; part of #7992

This fixes a bug with how configure re-execs itself.
gmp/ghc.mk