mirror of
https://github.com/MariaDB/server.git
synced 2026-05-16 20:07:13 +02:00
After merge fixes
This commit is contained in:
parent
11b8987313
commit
c4645f8404
12 changed files with 18 additions and 17 deletions
|
|
@ -711,7 +711,7 @@ int mi_open_keyfile(MYISAM_SHARE *share);
|
|||
void mi_setup_functions(register MYISAM_SHARE *share);
|
||||
|
||||
/* Functions needed by mi_check */
|
||||
int *killed_ptr(void *thd);
|
||||
volatile int *killed_ptr(MI_CHECK *param);
|
||||
void mi_check_print_error _VARARGS((MI_CHECK *param, const char *fmt,...));
|
||||
void mi_check_print_warning _VARARGS((MI_CHECK *param, const char *fmt,...));
|
||||
void mi_check_print_info _VARARGS((MI_CHECK *param, const char *fmt,...));
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue