build fix for mxe

diff --git a/kernel/driver.cc b/kernel/driver.cc
index 2cbdba8f33ee8d4e23d87d841ec1a5b783d5caa9..1698e216cb156d246bb4b98ace58270c86153c71 100644 (file)
--- 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());