summaryrefslogtreecommitdiff
path: root/BUILD
diff options
context:
space:
mode:
authorjoerg@trift2. <>2008-01-29 21:32:43 +0100
committerjoerg@trift2. <>2008-01-29 21:32:43 +0100
commitd9232523004c173811a7032ad02142c0681d99d0 (patch)
tree960825b37e7dc4de370ddf444b2c4254a46f7def /BUILD
parentfff106cdd2d3f6d2d99a3e5946791981c952e861 (diff)
downloadmariadb-git-d9232523004c173811a7032ad02142c0681d99d0.tar.gz
Ensure that man pages for "embedded" are included in the source.tar.gz
This fixes bug#34145.
Diffstat (limited to 'BUILD')
-rwxr-xr-xBUILD/compile-dist2
1 files changed, 2 insertions, 0 deletions
diff --git a/BUILD/compile-dist b/BUILD/compile-dist
index d9103e0a419..74690fb0c95 100755
--- a/BUILD/compile-dist
+++ b/BUILD/compile-dist
@@ -39,6 +39,8 @@ then
fi
# Make sure to enable all features that affect "make dist"
+# Remember that configure restricts the man pages to the configured features !
./configure \
+ --with-embedded-server \
--with-ndbcluster
make