From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 11 Oct 2014 08:49:43 +0000 (+0200)
Subject: Disabled "cover -d" on win32
X-Git-Tag: yosys-0.4~72
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=51b1824979ab0dc1c1cc904abe85bf39e537e136;p=yosys.git

Disabled "cover -d" on win32
---

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) {