mirror of
https://github.com/MariaDB/server.git
synced 2025-01-29 10:14:19 +01:00
After-merge fix: cmake -DPLUGIN_PERFSCHEMA=NO
An #include was forgotten in b6ac67389d
This commit is contained in:
parent
a3455c6085
commit
7de38492fc
1 changed files with 1 additions and 0 deletions
|
@ -26,6 +26,7 @@ Created 2012-09-23 Sunny Bains
|
|||
|
||||
#include "os0event.h"
|
||||
#include "ut0mutex.h"
|
||||
#include <my_sys.h>
|
||||
|
||||
#ifdef _WIN32
|
||||
#include <windows.h>
|
||||
|
|
Loading…
Add table
Reference in a new issue