diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-10-11 10:49:43 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-10-11 10:49:43 +0200 |
| commit | 51b1824979ab0dc1c1cc904abe85bf39e537e136 (patch) | |
| tree | a3b925f760bdb8e5b5e8cfcb7afaeea4d1774eac /passes | |
| parent | 7df8cbe2a9d48dbccb4a2c665e4087ed4f1514a8 (diff) | |
| download | yosys-51b1824979ab0dc1c1cc904abe85bf39e537e136.tar.gz yosys-51b1824979ab0dc1c1cc904abe85bf39e537e136.tar.bz2 yosys-51b1824979ab0dc1c1cc904abe85bf39e537e136.zip | |
Disabled "cover -d" on win32
Diffstat (limited to 'passes')
| -rw-r--r-- | passes/cmds/cover.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/passes/cmds/cover.cc b/passes/cmds/cover.cc index b8792a05f..857d5aa47 100644 --- a/passes/cmds/cover.cc +++ b/passes/cmds/cover.cc @@ -91,9 +91,13 @@ struct CoverPass : public Pass { const char *open_mode = args[argidx] == "-a" ? "a+" : "w"; std::string filename = args[++argidx]; 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]; snprintf(filename_buffer, 4096, "%s/yosys_cover_%d_XXXXXX.txt", filename.c_str(), getpid()); filename = mkstemps(filename_buffer, 4); + #endif } FILE *f = fopen(filename.c_str(), open_mode); if (f == NULL) { |