diff options
| author | Marko Mäkelä <marko.makela@mariadb.com> | 2019-07-19 11:42:34 +0300 |
|---|---|---|
| committer | Marko Mäkelä <marko.makela@mariadb.com> | 2019-07-19 11:45:35 +0300 |
| commit | 059968dc5dbe834a9c7119b282d7c63a1261b44f (patch) | |
| tree | 7a2f2c9c783e7fac801e20a7ce1dae4676bb1d86 /storage/maria | |
| parent | 9c29d068627313d29621adc53be4620e8257e805 (diff) | |
| download | mariadb-git-059968dc5dbe834a9c7119b282d7c63a1261b44f.tar.gz | |
Remove a conditionally unused declaration
The embedded server does not HAVE_PSI_STAGE_INTERFACE.
Diffstat (limited to 'storage/maria')
| -rw-r--r-- | storage/maria/ha_maria.cc | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/storage/maria/ha_maria.cc b/storage/maria/ha_maria.cc index 23de1508b05..51839aa5ff4 100644 --- a/storage/maria/ha_maria.cc +++ b/storage/maria/ha_maria.cc @@ -355,10 +355,12 @@ static PSI_file_info all_aria_files[]= { &key_file_control, "control", PSI_FLAG_GLOBAL} }; +# ifdef HAVE_PSI_STAGE_INTERFACE static PSI_stage_info *all_aria_stages[]= { & stage_waiting_for_a_resource }; +# endif /* HAVE_PSI_STAGE_INTERFACE */ static void init_aria_psi_keys(void) { @@ -379,9 +381,10 @@ static void init_aria_psi_keys(void) count= array_elements(all_aria_files); mysql_file_register(category, all_aria_files, count); - +# ifdef HAVE_PSI_STAGE_INTERFACE count= array_elements(all_aria_stages); mysql_stage_register(category, all_aria_stages, count); +# endif /* HAVE_PSI_STAGE_INTERFACE */ } #else #define init_aria_psi_keys() /* no-op */ |