diff options
Diffstat (limited to 'src/utils.cc')
| -rw-r--r-- | src/utils.cc | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/utils.cc b/src/utils.cc index d661f410..f2460ba1 100644 --- a/src/utils.cc +++ b/src/utils.cc @@ -550,8 +550,13 @@ bool logger_func(log_level_t level) logger_has_run = true; logger_start = TRUE_CURRENT_TIME(); +#if defined(VERIFY_ON) IF_VERIFY() *_log_stream << " TIME OBJSZ MEMSZ" << std::endl; +#else + IF_VERIFY() + *_log_stream << " TIME" << std::endl; +#endif } *_log_stream << std::right << std::setw(5) |