summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-08-11 15:55:41 +0200
committerClifford Wolf <clifford@clifford.at>2014-08-11 15:55:41 +0200
commit5215723c64037ba1ee7884423aee1b9c307b5850 (patch)
treea1b29f87ffd442ed5562835d0399678b0456b0e3
parent788bd02f970859bb67c5dbb7b503f23904257f7b (diff)
Another build fix by americanrouter (via reddit)
-rw-r--r--kernel/log.cc3
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