mirror of
https://github.com/MariaDB/server.git
synced 2026-04-20 15:25:33 +02:00
Pull in time.h for localtime_r.
This commit is contained in:
parent
39d9765297
commit
6ed71b7d1e
1 changed files with 1 additions and 0 deletions
|
|
@ -16,6 +16,7 @@
|
|||
#include <sql_priv.h>
|
||||
#include <stdlib.h>
|
||||
#include <ctype.h>
|
||||
#include <time.h> // localtime_r
|
||||
#include <mysql_version.h>
|
||||
#include <mysql/plugin.h>
|
||||
#include <my_global.h>
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue