summaryrefslogtreecommitdiff
path: root/passes/cmds/cover.cc
diff options
context:
space:
mode:
Diffstat (limited to 'passes/cmds/cover.cc')
-rw-r--r--passes/cmds/cover.cc2
1 files changed, 1 insertions, 1 deletions
diff --git a/passes/cmds/cover.cc b/passes/cmds/cover.cc
index 0ec74767..5f0042a6 100644
--- a/passes/cmds/cover.cc
+++ b/passes/cmds/cover.cc
@@ -128,7 +128,7 @@ struct CoverPass : public Pass {
log("\n");
}
-#if defined(YOSYS_ENABLE_COVER) && (defined(__linux__) || defined(__FreeBSD__))
+#if defined(YOSYS_ENABLE_COVER) && (defined(__unix__) || defined(__FreeBSD__))
for (auto &it : get_coverage_data()) {
if (!patterns.empty()) {
for (auto &p : patterns)