diff options
Diffstat (limited to 'win/configure-mariadb.sh')
| -rw-r--r-- | win/configure-mariadb.sh | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/win/configure-mariadb.sh b/win/configure-mariadb.sh new file mode 100644 index 00000000000..c6324bfd259 --- /dev/null +++ b/win/configure-mariadb.sh @@ -0,0 +1,15 @@ +#!/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-plugin-archive --with-plugin-blackhole \ + --with-plugin-csv --with-plugin-example --with-plugin-federatedx \ + --with-plugin-merge --with-plugin-partition --with-plugin-maria \ + --with-plugin-pbxt --with-plugin-xtradb --with-plugin-feedback \ + WITH_EMBEDDED_SERVER + |