summaryrefslogtreecommitdiff
path: root/kernel/driver.cc
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2015-01-09 17:32:53 +0100
committerClifford Wolf <clifford@clifford.at>2015-01-09 17:32:53 +0100
commit95f1eb9b87064719c17d45f24775c3e97497b6df (patch)
treef97d1cfd5483cda79fe10b1c71bcf21d8ae290d4 /kernel/driver.cc
parentbd3dd8052665f4f8a27a90dc745c1fca1b6da98f (diff)
Only enable code coverage counters on linux
Diffstat (limited to 'kernel/driver.cc')
-rw-r--r--kernel/driver.cc2
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/driver.cc b/kernel/driver.cc
index 1698e216..c7f233c5 100644
--- a/kernel/driver.cc
+++ b/kernel/driver.cc
@@ -406,7 +406,7 @@ int main(int argc, char **argv)
}
}
-#ifdef YOSYS_ENABLE_COVER
+#if defined(YOSYS_ENABLE_COVER) && defined(__linux__)
if (getenv("YOSYS_COVER_DIR") || getenv("YOSYS_COVER_FILE"))
{
string filename;