From a346c0bf2b0ed5278e0f86d4ef23a6a9d03eef40 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Thu, 6 Nov 2014 09:39:55 +0100 Subject: Made "cover" a compile-time option (disabled by default) --- kernel/driver.cc | 2 +- kernel/log.cc | 2 +- kernel/log.h | 3 +-- 3 files changed, 3 insertions(+), 4 deletions(-) (limited to 'kernel') diff --git a/kernel/driver.cc b/kernel/driver.cc index 5e69cced3..8164fef28 100644 --- a/kernel/driver.cc +++ b/kernel/driver.cc @@ -335,7 +335,7 @@ int main(int argc, char **argv) log("%s\n", out_count ? "" : " no commands executed"); } -#ifdef COVER_ACTIVE +#ifdef YOSYS_ENABLE_COVER if (getenv("YOSYS_COVER_DIR") || getenv("YOSYS_COVER_FILE")) { char filename_buffer[4096]; diff --git a/kernel/log.cc b/kernel/log.cc index 807f58bf6..1a21e9fe6 100644 --- a/kernel/log.cc +++ b/kernel/log.cc @@ -274,7 +274,7 @@ void log_cell(RTLIL::Cell *cell, std::string indent) // --------------------------------------------------- // This is the magic behind the code coverage counters // --------------------------------------------------- -#ifdef COVER_ACTIVE +#ifdef YOSYS_ENABLE_COVER std::map> extra_coverage_data; diff --git a/kernel/log.h b/kernel/log.h index 81d01ace7..a6f808922 100644 --- a/kernel/log.h +++ b/kernel/log.h @@ -87,8 +87,7 @@ static inline void log_assert_worker(bool cond, const char *expr, const char *fi // This is the magic behind the code coverage counters // --------------------------------------------------- -#if defined(__linux__) && !defined(NDEBUG) -#define COVER_ACTIVE +#ifdef YOSYS_ENABLE_COVER #define cover(_id) do { \ static CoverData __d __attribute__((section("yosys_cover_list"), aligned(1))) = { __FILE__, __FUNCTION__, _id, __LINE__, 0 }; \ -- cgit v1.2.3