diff options
| -rw-r--r-- | kernel/log.h | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/kernel/log.h b/kernel/log.h index 3bc9fd978..8ef6e6d0e 100644 --- a/kernel/log.h +++ b/kernel/log.h @@ -419,6 +419,18 @@ static inline void log_dump_val_worker(pool<K, OPS> &v) { log(" }"); } +template<typename K> +static inline void log_dump_val_worker(std::vector<K> &v) { + log("{"); + bool first = true; + for (auto &it : v) { + log(first ? " " : ", "); + log_dump_val_worker(it); + first = false; + } + log(" }"); +} + template<typename T> static inline void log_dump_val_worker(T *ptr) { log("%p", ptr); } |