mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-12 20:18:20 +00:00
Code Activity

Disabled "cover -d" on win32

Browse source
This commit is contained in:
Clifford Wolf 2014-10-11 10:49:43 +02:00
parent 7df8cbe2a9
commit 51b1824979
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
passes/cmds/cover.cc
View file

@ -91,9 +91,13 @@ struct CoverPass : public Pass {
const char *open_mode = args[argidx] == "-a" ? "a+" : "w"; const char *open_mode = args[argidx] == "-a" ? "a+" : "w";
std::string filename = args[++argidx]; std::string filename = args[++argidx];
if (args[argidx-1] == "-d") { if (args[argidx-1] == "-d") {
#ifdef _WIN32
log_cmd_error("The 'cover -d' option is not supported on win32.\n");
#else
char filename_buffer[4096]; char filename_buffer[4096];
snprintf(filename_buffer, 4096, "%s/yosys_cover_%d_XXXXXX.txt", filename.c_str(), getpid()); snprintf(filename_buffer, 4096, "%s/yosys_cover_%d_XXXXXX.txt", filename.c_str(), getpid());
filename = mkstemps(filename_buffer, 4); filename = mkstemps(filename_buffer, 4);
#endif
} }
FILE *f = fopen(filename.c_str(), open_mode); FILE *f = fopen(filename.c_str(), open_mode);
if (f == NULL) { if (f == NULL) {