diff options
| author | lenz@mysql.com <> | 2003-08-21 12:15:22 +0200 |
|---|---|---|
| committer | lenz@mysql.com <> | 2003-08-21 12:15:22 +0200 |
| commit | cba9cbddfcea237ee158b28dee01666fbb216d8c (patch) | |
| tree | 022421a23a72fba42305235f5be25ec4e7b29252 /Build-tools | |
| parent | 165dc895b3f90b96c67e7a72417d7c9dfd81238a (diff) | |
| download | mariadb-git-cba9cbddfcea237ee158b28dee01666fbb216d8c.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')
| -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); |