diff options
Diffstat (limited to 'kernel/log.cc')
| -rw-r--r-- | kernel/log.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/kernel/log.cc b/kernel/log.cc index 949bf4327..63a0a84dd 100644 --- a/kernel/log.cc +++ b/kernel/log.cc @@ -29,6 +29,9 @@ #include <vector> #include <list> +// declared extern in log.h +std::map<std::string, std::pair<std::string, int>> extra_coverage_data; + std::vector<FILE*> log_files; FILE *log_errfile = NULL; bool log_time = false; |