From bea82fef30c4afed5a1eef3ca32695111019cdf5 Mon Sep 17 00:00:00 2001
From: Olaf Bergmann <bergmann@tzi.org>
Date: Mon, 16 Oct 2017 17:53:00 +0200
Subject: [PATCH] build.sh: disable documentation to speedup continuous
 integration

---
 scripts/build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/build.sh b/scripts/build.sh
index 4998d2fe..c86280db 100755
--- a/scripts/build.sh
+++ b/scripts/build.sh
@@ -29,7 +29,7 @@ case "${PLATFORM}" in
                make -C examples/lwip lwip lwip-contrib
                make -C examples/lwip LDLIBS=`grep ac_cv_search_clock_gettime=- config.log|cut -d= -f2`
              ;;
-    posix|*) config "$WITH_TESTS --enable-documentation --enable-examples $WITH_TLS" && \
+    posix|*) config "$WITH_TESTS --disable-documentation --enable-examples $WITH_TLS" && \
                make
              ;;
 esac