diff options
| -rw-r--r-- | libffi/ghc.mk | 1 |
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) |