diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-08-11 15:55:41 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-08-11 15:55:41 +0200 |
| commit | 5215723c64037ba1ee7884423aee1b9c307b5850 (patch) | |
| tree | a1b29f87ffd442ed5562835d0399678b0456b0e3 /kernel | |
| parent | 788bd02f970859bb67c5dbb7b503f23904257f7b (diff) | |
Another build fix by americanrouter (via reddit)
Diffstat (limited to 'kernel')
| -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 09673dc2..1f082603 100644 --- a/kernel/log.cc +++ b/kernel/log.cc @@ -238,6 +238,7 @@ void log_cell(RTLIL::Cell *cell, std::string indent) // --------------------------------------------------- // This is the magic behind the code coverage counters // --------------------------------------------------- +#ifdef COVER_ACTIVE std::map<std::string, std::pair<std::string, int>> extra_coverage_data; @@ -283,5 +284,7 @@ std::map<std::string, std::pair<std::string, int>> get_coverage_data() return coverage_data; } +#endif + YOSYS_NAMESPACE_END |