1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00
This commit is contained in:
Mikael Ronstrom
2011-01-04 18:46:01 +01:00
2667 changed files with 65582 additions and 410864 deletions

View File

@ -1691,7 +1691,7 @@ static void debug_sync_execute(THD *thd, st_debug_sync_action *action)
if (action->execute)
{
const char *old_proc_info;
const char *UNINIT_VAR(old_proc_info);
action->execute--;