diff options
author | joerg@trift2. <> | 2008-01-29 21:32:43 +0100 |
---|---|---|
committer | joerg@trift2. <> | 2008-01-29 21:32:43 +0100 |
commit | d9232523004c173811a7032ad02142c0681d99d0 (patch) | |
tree | 960825b37e7dc4de370ddf444b2c4254a46f7def /BUILD | |
parent | fff106cdd2d3f6d2d99a3e5946791981c952e861 (diff) | |
download | mariadb-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-x | BUILD/compile-dist | 2 |
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 |