From 499d6988663043d0e0a0732f865324e959139927 Mon Sep 17 00:00:00 2001
From: Ian Lynagh <ian@well-typed.com>
Date: Sat, 22 Jun 2013 16:52:46 +0100
Subject: [PATCH] Run "sh ./configure" rather than "sh configure"; part of
 #7992

This fixes a bug with how configure re-execs itself.
---
 libffi/ghc.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/libffi/ghc.mk b/libffi/ghc.mk
index 3cccee9c6a23..ffef273ce3ad 100644
--- a/libffi/ghc.mk
+++ b/libffi/ghc.mk
@@ -88,7 +88,7 @@ $(libffi_STAMP_CONFIGURE): $(TOUCH_DEP)
 	    NM=$(NM) \
         CFLAGS="$(SRC_CC_OPTS) $(CONF_CC_OPTS_STAGE1) -w" \
         LDFLAGS="$(SRC_LD_OPTS) $(CONF_GCC_LINKER_OPTS_STAGE1) -w" \
-        "$(SHELL)" configure \
+        "$(SHELL)" ./configure \
 	          --prefix=$(TOP)/libffi/build/inst \
 	          --libdir=$(TOP)/libffi/build/inst/lib \
 	          --enable-static=yes \