From: Michael Jeanson <mjeanson@efficios.com>
Date: Fri, 18 Mar 2016 16:22:21 +0000 (-0400)
Subject: Add --enable-build-man-pages to tools dist build
X-Git-Url: https://git.lttng.org./?a=commitdiff_plain;h=69a19833081b9bb6b1757666cafc553d68f44edc;p=lttng-ci.git

Add --enable-build-man-pages to tools dist build
---

diff --git a/scripts/lttng-tools/build.sh b/scripts/lttng-tools/build.sh
index bade02d..b557c41 100755
--- a/scripts/lttng-tools/build.sh
+++ b/scripts/lttng-tools/build.sh
@@ -196,7 +196,7 @@ case "$build" in
         BUILD_PATH=`mktemp -d`
 
         # Initial configure and generate tarball
-        MAKE=$MAKE BISON="$BISON" YACC="$YACC" CFLAGS="$CFLAGS" ./configure $CONF_OPTS
+        MAKE=$MAKE BISON="$BISON" YACC="$YACC" CFLAGS="$CFLAGS" ./configure $CONF_OPTS --enable-build-man-pages
         $MAKE dist
 
         mkdir -p $BUILD_PATH