diff options
| author | Monty <monty@mariadb.org> | 2018-10-10 17:26:50 +0300 |
|---|---|---|
| committer | Monty <monty@mariadb.org> | 2018-12-08 17:26:26 +0200 |
| commit | ab3ea946fd20f80e250c5f790f61ea66d7fc3d09 (patch) | |
| tree | 46c3be3bc6e1598be18b89de5ae0d1e2df61e013 | |
| parent | c87a7f7321a93ec263ed9d96bcb9b95df12c01d5 (diff) | |
| download | mariadb-git-ab3ea946fd20f80e250c5f790f61ea66d7fc3d09.tar.gz | |
Add --without-wsrep option to BUILD scripts
| -rw-r--r-- | cmake/configure.pl | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/cmake/configure.pl b/cmake/configure.pl index c502a172a22..0818b07debd 100644 --- a/cmake/configure.pl +++ b/cmake/configure.pl @@ -145,6 +145,11 @@ foreach my $option (@ARGV) $cmakeargs = $cmakeargs." -DPLUGIN_".uc($1)."=".uc($2); next; } + if($option =~ /without-wsrep/) + { + $cmakeargs = $cmakeargs." -DWITH_WSREP=OFF"; + next; + } if($option =~ /with-zlib-dir=bundled/) { $cmakeargs = $cmakeargs." -DWITH_ZLIB=bundled"; |