diff options
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 949bf4327..26414d493 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; |