mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-01-31 02:51:44 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

Remove unnecessary __attribute__((unused))

Browse source
This commit is contained in:
Marko Mäkelä 2019-01-01 19:23:52 +02:00
parent 88cc78c9c4
commit 2465d3e00b
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
storage/innobase/srv/srv0srv.cc
View file

@ -2402,7 +2402,6 @@ loop:
/** @return whether purge should exit due to shutdown */
static bool srv_purge_should_exit()
{
uint32_t history_size __attribute__((unused));
ut_ad(srv_shutdown_state == SRV_SHUTDOWN_NONE
|| srv_shutdown_state == SRV_SHUTDOWN_CLEANUP);
@ -2413,7 +2412,8 @@ static bool srv_purge_should_exit()
return(true);
}
/* Slow shutdown was requested. */
if ((history_size = trx_sys.rseg_history_len)) {
uint32_t history_size = trx_sys.rseg_history_len;
if (history_size) {
#if defined HAVE_SYSTEMD && !defined EMBEDDED_LIBRARY
static ib_time_t progress_time;
ib_time_t time = ut_time();