From 798f71362975c625f4e24b0c981b15b5684ab33d Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Thu, 24 Jul 2014 04:16:32 +0200 Subject: Added support for YOSYS_COVER_FILE env variable --- kernel/driver.cc | 13 ++++++++++--- 1 file changed, 10 insertions(+), 3 deletions(-) (limited to 'kernel/driver.cc') diff --git a/kernel/driver.cc b/kernel/driver.cc index 4992686bd..9749ff305 100644 --- a/kernel/driver.cc +++ b/kernel/driver.cc @@ -750,11 +750,18 @@ int main(int argc, char **argv) yosys_design = NULL; #ifndef NDEBUG - if (getenv("YOSYS_COVER_DIR")) + if (getenv("YOSYS_COVER_DIR") || getenv("YOSYS_COVER_FILE")) { char filename_buffer[4096]; - snprintf(filename_buffer, 4096, "%s/yosys_cover_%d_XXXXXX.txt", getenv("YOSYS_COVER_DIR"), getpid()); - FILE *f = fdopen(mkstemps(filename_buffer, 4), "w"); + FILE *f; + + if (getenv("YOSYS_COVER_DIR")) { + snprintf(filename_buffer, 4096, "%s/yosys_cover_%d_XXXXXX.txt", getenv("YOSYS_COVER_DIR"), getpid()); + f = fdopen(mkstemps(filename_buffer, 4), "w"); + } else { + snprintf(filename_buffer, 4096, "%s", getenv("YOSYS_COVER_FILE")); + f = fopen(filename_buffer, "w"); + } if (f == NULL) log_error("Can't create coverage file `%s'.\n", filename_buffer); -- cgit v1.2.3