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

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