diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-07-24 03:48:38 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-07-24 03:48:38 +0200 |
| commit | 6b1018314c130ffa12df2e8c73f1c0cd5853b6f7 (patch) | |
| tree | 73621bf960d0e90beb7b1804fbb39cd0ddaa5d4b /kernel/log.cc | |
| parent | b31762d158f4c9fb406cd787361254330f4ec03e (diff) | |
Added cover() API
Diffstat (limited to 'kernel/log.cc')
| -rw-r--r-- | kernel/log.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/kernel/log.cc b/kernel/log.cc index 949bf432..26414d49 100644 --- a/kernel/log.cc +++ b/kernel/log.cc @@ -29,6 +29,8 @@ #include <vector> #include <list> +CoverAgent *CoverAgent::first_cover_agent = NULL; + std::vector<FILE*> log_files; FILE *log_errfile = NULL; bool log_time = false; |