diff options
| author | unknown <serg@janus.mylan> | 2007-09-10 20:19:27 +0200 |
|---|---|---|
| committer | unknown <serg@janus.mylan> | 2007-09-10 20:19:27 +0200 |
| commit | 3785d845ed83e359873749c4e433382f9c6d80fa (patch) | |
| tree | 162d25aceed925a9aefbb3fb19a1a6757e9f4eb5 /BUILD | |
| parent | 602e13cb055b7c58c4f81c971c74d82cfc8c946b (diff) | |
| download | mariadb-git-3785d845ed83e359873749c4e433382f9c6d80fa.tar.gz | |
include maria in pushbuild's 'make dist'
Diffstat (limited to 'BUILD')
| -rwxr-xr-x | BUILD/compile-dist | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/BUILD/compile-dist b/BUILD/compile-dist index 0ecb386bf71..8065c88e2ed 100755 --- a/BUILD/compile-dist +++ b/BUILD/compile-dist @@ -50,6 +50,7 @@ fi --with-blackhole-storage-engine \ --with-csv-storage-engine \ --with-example-storage-engine \ + --with-maria-storage-engine \ --with-federated-storage-engine \ --with-innodb \ --with-ssl \ |