1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-07 00:04:31 +03:00

Merge branch '10.1' into 10.2

This commit is contained in:
Sergei Golubchik
2020-08-06 16:47:39 +02:00
47 changed files with 126 additions and 107 deletions

View File

@@ -37,7 +37,7 @@
#ifdef __linux__
#define PTR_SANE(p) ((p) && (char*)(p) >= heap_start && (char*)(p) <= heap_end)
static char *heap_start;
extern char *__bss_start;
char *__bss_start;
#else
#define PTR_SANE(p) (p)
#endif /* __linux */