summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2015-01-06 15:46:58 +0100
committerClifford Wolf <clifford@clifford.at>2015-01-06 15:46:58 +0100
commit9fb715dc74b632c74aafec1652d4e66dc28cc341 (patch)
tree9699f28042b0d612c15fcfb0800387d2787f60be
parent947492867238d47c014189a0de2d49f3e5d9bbbc (diff)
build fix for mxe
-rw-r--r--kernel/driver.cc15
1 files changed, 8 insertions, 7 deletions
diff --git a/kernel/driver.cc b/kernel/driver.cc
index 2cbdba8f..1698e216 100644
--- a/kernel/driver.cc
+++ b/kernel/driver.cc
@@ -409,21 +409,22 @@ int main(int argc, char **argv)
#ifdef YOSYS_ENABLE_COVER
if (getenv("YOSYS_COVER_DIR") || getenv("YOSYS_COVER_FILE"))
{
- char filename_buffer[4096];
+ string filename;
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");
+ filename = stringf("%s/yosys_cover_%d_XXXXXX.txt", getenv("YOSYS_COVER_DIR"), getpid());
+ filename = make_temp_file(filename);
} else {
- snprintf(filename_buffer, 4096, "%s", getenv("YOSYS_COVER_FILE"));
- f = fopen(filename_buffer, "a+");
+ filename = getenv("YOSYS_COVER_FILE");
}
+ f = fopen(filename.c_str(), "a+");
+
if (f == NULL)
- log_error("Can't create coverage file `%s'.\n", filename_buffer);
+ log_error("Can't create coverage file `%s'.\n", filename.c_str());
- log("<writing coverage file \"%s\">\n", filename_buffer);
+ log("<writing coverage file \"%s\">\n", filename.c_str());
for (auto &it : get_coverage_data())
fprintf(f, "%-60s %10d %s\n", it.second.first.c_str(), it.second.second, it.first.c_str());