diff options
author | Inaam Rana <inaam.rana@oracle.com> | 2010-06-10 10:31:28 -0400 |
---|---|---|
committer | Inaam Rana <inaam.rana@oracle.com> | 2010-06-10 10:31:28 -0400 |
commit | e7c672cbd98a62ddeeed0bb3c9c5cb4192846fc3 (patch) | |
tree | 6cadda88138d5d5decb41885fb3f44f2f3dbe7e2 /storage/innodb_plugin | |
parent | e40c3b97630a0885a1a328d1133f21b65c69298c (diff) | |
download | mariadb-git-e7c672cbd98a62ddeeed0bb3c9c5cb4192846fc3.tar.gz |
Add a debug assertion.
Diffstat (limited to 'storage/innodb_plugin')
-rw-r--r-- | storage/innodb_plugin/include/log0log.ic | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/storage/innodb_plugin/include/log0log.ic b/storage/innodb_plugin/include/log0log.ic index 139f4041a36..1ce00fd7313 100644 --- a/storage/innodb_plugin/include/log0log.ic +++ b/storage/innodb_plugin/include/log0log.ic @@ -433,7 +433,10 @@ void log_free_check(void) /*================*/ { - /* ut_ad(sync_thread_levels_empty()); */ + +#ifdef UNIV_SYNC_DEBUG + ut_ad(sync_thread_levels_empty_gen(TRUE)); +#endif /* UNIV_SYNC_DEBUG */ if (log_sys->check_flush_or_checkpoint) { |