diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-07-24 19:36:20 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-07-24 20:47:18 +0200 |
| commit | 10d2402e2f3cd49bd8c4e0cddb01c90c5615bb05 (patch) | |
| tree | 1ca878af9ebea41511f1194a0e06ff889742d3e7 /kernel/log.cc | |
| parent | 45b4154b3799178a432d1f14dcaf51787b86f35d (diff) | |
Added cover_list() API
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 949bf432..63a0a84d 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; |