1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-27 18:02:13 +03:00
This commit is contained in:
serg@sergbook.mysql.com
2002-11-05 17:10:31 +01:00
5 changed files with 53 additions and 2 deletions

View File

@ -206,7 +206,7 @@ resolve it\n");
/* Produce a core for the thread */
#ifdef HAVE_LINUXTHREADS
#ifdef NOT_USED /* HAVE_LINUXTHREADS */
void write_core(int sig)
{
signal(sig, SIG_DFL);