mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2026-05-15 11:27:39 +02:00
Code Issues Projects Releases Packages Wiki Activity

MDEV-20377: Fix cmake -DPLUGIN_PERFSCHEMA=NO

Browse source
This commit is contained in:
Marko Mäkelä 2020-07-02 06:03:59 +03:00
commit 838a1046b2
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
storage/innobase/ut/ut0crc32.cc
View file

@ -84,6 +84,7 @@ mysys/my_perf.c, contributed by Facebook under the following license.
#include <string.h>
#include "ut0crc32.h"
#include "my_valgrind.h"
#ifdef _MSC_VER
#include <intrin.h>