Made "cover" a compile-time option (disabled by default)

[yosys.git] / kernel / driver.cc

diff --git a/kernel/driver.cc b/kernel/driver.cc
index 5e69cced3a9eb66c3d3a32a76389ef21402e7906..8164fef285b99167174cb8c2a0bf744857c49b13 100644 (file)
--- 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];