diff options
author | Monty <monty@mariadb.org> | 2018-01-27 14:39:33 +0200 |
---|---|---|
committer | Monty <monty@mariadb.org> | 2018-01-27 14:39:33 +0200 |
commit | 8ff5ddae231d31f0ff721d2fd518f65d96142c21 (patch) | |
tree | 562d5bf42d0f715f5a6eedb5ee4dc8e5215a593d /BUILD/SETUP.sh | |
parent | c09371dce66c48393cb9d1c56f9add23664c772f (diff) | |
download | mariadb-git-8ff5ddae231d31f0ff721d2fd518f65d96142c21.tar.gz |
Disable rocksdb when building with ASAN
I disabled rocksdb in ASAN build as I got a link error when
it's included
Diffstat (limited to 'BUILD/SETUP.sh')
-rwxr-xr-x | BUILD/SETUP.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/BUILD/SETUP.sh b/BUILD/SETUP.sh index 3a1a861f2f8..721ed3a4c45 100755 --- a/BUILD/SETUP.sh +++ b/BUILD/SETUP.sh @@ -308,3 +308,5 @@ gprof_compile_flags="-O2 -pg -g" gprof_link_flags="--disable-shared $static_link" disable_gprof_plugins="--with-zlib-dir=bundled --without-plugin-oqgraph --without-plugin-mroonga" + +disable_asan_plugins="--without-plugin-rocksdb" |