Another build fix by americanrouter (via reddit)

This commit is contained in:
Clifford Wolf 2014-08-11 15:55:41 +02:00
parent 788bd02f97
commit 5215723c64
1 changed files with 3 additions and 0 deletions

View File

@ -238,6 +238,7 @@ void log_cell(RTLIL::Cell *cell, std::string indent)
// --------------------------------------------------- // ---------------------------------------------------
// This is the magic behind the code coverage counters // This is the magic behind the code coverage counters
// --------------------------------------------------- // ---------------------------------------------------
#ifdef COVER_ACTIVE
std::map<std::string, std::pair<std::string, int>> extra_coverage_data; 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; return coverage_data;
} }
#endif
YOSYS_NAMESPACE_END YOSYS_NAMESPACE_END