mirror of
https://github.com/MariaDB/server.git
synced 2025-01-25 00:04:33 +01:00
Attempt to placate the buildslaves - they seem to not like these include
directives the way my desktop does.
This commit is contained in:
parent
d037524b70
commit
5b081b1927
1 changed files with 2 additions and 2 deletions
|
@ -95,8 +95,8 @@ PATENT RIGHTS GRANT:
|
|||
#include <dirent.h>
|
||||
#include <sys/time.h>
|
||||
|
||||
#include <portability/toku_stdint.h>
|
||||
#include <portability/toku_os_types.h>
|
||||
#include "toku_stdint.h"
|
||||
#include "toku_os_types.h"
|
||||
|
||||
// Returns: the current process id
|
||||
int toku_os_getpid(void) __attribute__((__visibility__("default")));
|
||||
|
|
Loading…
Add table
Reference in a new issue