mirror of
https://github.com/MariaDB/server.git
synced 2025-01-26 08:44:33 +01:00
include maria in pushbuild's 'make dist'
This commit is contained in:
parent
602e13cb05
commit
3785d845ed
1 changed files with 1 additions and 0 deletions
|
@ -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 \
|
||||
|
|
Loading…
Add table
Reference in a new issue