summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--libffi/ghc.mk1
1 files changed, 1 insertions, 0 deletions
diff --git a/libffi/ghc.mk b/libffi/ghc.mk
index 691eda74ee..6bc8897461 100644
--- a/libffi/ghc.mk
+++ b/libffi/ghc.mk
@@ -99,6 +99,7 @@ $(libffi_STAMP_CONFIGURE): $(TOUCH_DEP)
"$(SHELL)" ./configure \
--prefix=$(TOP)/libffi/build/inst \
--libdir=$(TOP)/libffi/build/inst/lib \
+ --disable-docs \
--enable-static=yes \
--enable-shared=$(libffi_EnableShared) \
--host=$(TargetPlatformFull)