diff options
| author | unknown <joerg@trift2.> | 2008-01-29 21:32:43 +0100 |
|---|---|---|
| committer | unknown <joerg@trift2.> | 2008-01-29 21:32:43 +0100 |
| commit | 5ade517a49283cd591d5d0389b5ff5b4b932e1d9 (patch) | |
| tree | 960825b37e7dc4de370ddf444b2c4254a46f7def /BUILD/compile-dist | |
| parent | 016f33c8d18e2b532add23ae98659edaed2a1483 (diff) | |
| download | mariadb-git-5ade517a49283cd591d5d0389b5ff5b4b932e1d9.tar.gz | |
Ensure that man pages for "embedded" are included in the source.tar.gz
This fixes bug#34145.
BUILD/compile-dist:
If the call to "configure" does not specify the "embedded" server,
all man pages for "embedded" will be deleted:
Re-add "--with-embedded-server".
This fixes bug#34145.
Diffstat (limited to 'BUILD/compile-dist')
| -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 |