mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-02-01 03:21:53 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions
186173 commits 2791 branches 343 tags 1.7 GiB
Commit graph

4 commits

Author SHA1 Message Date
Marko Mäkelä
26a14ee130 Merge 10.1 into 10.2 2019-05-13 17:54:04 +03:00
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