mirror of
https://github.com/MariaDB/server.git
synced 2026-05-15 19:37:16 +02:00
Fix build using --without-server. (Bug #11680)
This commit is contained in:
parent
8888e9172d
commit
cf5dd176c0
6 changed files with 9 additions and 9 deletions
|
|
@ -18,7 +18,9 @@ char *argv[];
|
|||
#if defined(HAVE_PTHREAD_INIT) && defined(THREAD)
|
||||
pthread_init(); /* Must be called before DBUG_ENTER */
|
||||
#endif
|
||||
#ifdef THREAD
|
||||
my_thread_global_init();
|
||||
#endif
|
||||
{
|
||||
DBUG_ENTER ("main");
|
||||
DBUG_PROCESS (argv[0]);
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue