mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-01-31 11:01:52 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions
180837 commits 2788 branches 343 tags 1.7 GiB
Commit graph

3 commits

Author SHA1 Message Date
Monty
8ff5ddae23 Disable rocksdb when building with ASAN 
I disabled rocksdb in ASAN build as I got a link error when
it's included
 2018-01-27 14:39:33 +02:00
Monty
bf7719111f Removed duplicated copyright message 2018-01-11 17:09:51 +02:00
Monty
ec97aba284 Fixed BUILD scripts 
- Skip 'clean' if not a git repository
  (Good for tar files)
- Add configuration for ASAN builds
 2018-01-10 19:36:38 +02:00