mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2026-05-16 20:07:13 +02:00
Code Issues Projects Releases Packages Wiki Activity

Ensure that man pages for "embedded" are included in the source.tar.gz

Browse source 
This fixes bug#34145.
This commit is contained in:
joerg@trift2. 2008-01-29 21:32:43 +01:00
commit d923252300
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
BUILD/compile-dist
View file

@ -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