diff options
| author | unknown <lenz@mysql.com> | 2003-08-21 12:15:22 +0200 |
|---|---|---|
| committer | unknown <lenz@mysql.com> | 2003-08-21 12:15:22 +0200 |
| commit | 77a688766f32de69a82c6a072ab58ffdecadb58b (patch) | |
| tree | 022421a23a72fba42305235f5be25ec4e7b29252 /Build-tools/Do-compile | |
| parent | fd9b1775642e4da09697fd46a7bbb98d59b9843f (diff) | |
| download | mariadb-git-77a688766f32de69a82c6a072ab58ffdecadb58b.tar.gz | |
- added missing option "--without-embedded" to be able to compile without
the embedded server (it was missing in the previous push)
Diffstat (limited to 'Build-tools/Do-compile')
| -rwxr-xr-x | Build-tools/Do-compile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Build-tools/Do-compile b/Build-tools/Do-compile index 6cf577162ed..e5783dbf515 100755 --- a/Build-tools/Do-compile +++ b/Build-tools/Do-compile @@ -51,6 +51,7 @@ GetOptions( "with-low-memory", "with-other-libc=s", "with-small-disk", + "without-embedded", ) || usage(); usage() if ($opt_help); |