1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00

Merge from mysql-5.1-bugteam to mysql-5.5-bugteam

No conflicts
This commit is contained in:
Jon Olav Hauglid
2010-11-08 10:55:23 +01:00

View File

@ -315,6 +315,9 @@ end:
/* Produce a core for the thread */ /* Produce a core for the thread */
void my_write_core(int sig) void my_write_core(int sig)
{ {
#ifdef HAVE_gcov
extern void __gcov_flush(void);
#endif
signal(sig, SIG_DFL); signal(sig, SIG_DFL);
#ifdef HAVE_gcov #ifdef HAVE_gcov
/* /*
@ -322,7 +325,6 @@ void my_write_core(int sig)
information from this process, causing gcov output to be incomplete. information from this process, causing gcov output to be incomplete.
So we force the writing of coverage information here before terminating. So we force the writing of coverage information here before terminating.
*/ */
extern void __gcov_flush(void);
__gcov_flush(); __gcov_flush();
#endif #endif
pthread_kill(pthread_self(), sig); pthread_kill(pthread_self(), sig);