From: Clifford Wolf <clifford@clifford.at>
Date: Mon, 11 Aug 2014 13:55:41 +0000 (+0200)
Subject: Another build fix by americanrouter (via reddit)
X-Git-Tag: yosys-0.4~282
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5215723c64037ba1ee7884423aee1b9c307b5850;p=yosys.git

Another build fix by americanrouter (via reddit)
---

diff --git a/kernel/log.cc b/kernel/log.cc
index 09673dc2e..1f0826039 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