diff options
| author | Sergey Petrunya <psergey@askmonty.org> | 2009-10-08 23:04:12 +0400 |
|---|---|---|
| committer | Sergey Petrunya <psergey@askmonty.org> | 2009-10-08 23:04:12 +0400 |
| commit | 2433da4718145e2dd7a0ca60678cab425eed2409 (patch) | |
| tree | d7a1eaab703a149793c88aad95285a452c119d2c /win | |
| parent | 0d827917bed0eaa5b126bfe793e8569b37b74a1e (diff) | |
| download | mariadb-git-2433da4718145e2dd7a0ca60678cab425eed2409.tar.gz | |
Added win/configure-mariadb.sh - the standard way to configure on Windows.
Diffstat (limited to 'win')
| -rw-r--r-- | win/configure-mariadb.sh | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/win/configure-mariadb.sh b/win/configure-mariadb.sh new file mode 100644 index 00000000000..294b1530788 --- /dev/null +++ b/win/configure-mariadb.sh @@ -0,0 +1,23 @@ +#!/bin/sh + +# +# This script is the "standard" way to configure MariaDB on Windows. To be +# used by buildbot slaves and release build script. +# + +set -e + +cscript win/configure.js \ + WITH_ARCHIVE_STORAGE_ENGINE \ + WITH_BLACKHOLE_STORAGE_ENGINE \ + WITH_CSV_STORAGE_ENGINE \ + WITH_EXAMPLE_STORAGE_ENGINE \ + WITH_FEDERATED_STORAGE_ENGINE \ + WITH_MERGE_STORAGE_ENGINE \ + WITH_PARTITION_STORAGE_ENGINE \ + WITH_MARIA_STORAGE_ENGINE \ + WITH_PBXT_STORAGE_ENGINE \ + WITH_XTRADB_STORAGE_ENGINE \ + WITH_EMBEDDED_SERVER + + |