summaryrefslogtreecommitdiff
path: root/kernel/driver.cc
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-11-06 09:39:55 +0100
committerClifford Wolf <clifford@clifford.at>2014-11-06 09:39:55 +0100
commita346c0bf2b0ed5278e0f86d4ef23a6a9d03eef40 (patch)
tree57c95841b9f5c2c7cd6a1dd1d0d59f8239dba670 /kernel/driver.cc
parent80869531b91b0fd8da90a1bebdc8d81d35e36e23 (diff)
Made "cover" a compile-time option (disabled by default)
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 5e69cced..8164fef2 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];