1
0
mirror of synced 2026-05-17 19:53:25 +00:00

Merge pull request #5881 from YosysHQ/fix_mingw32

Remove unused variable for WIN32
This commit is contained in:
Miodrag Milanović
2026-05-14 05:49:26 +00:00
committed by GitHub

View File

@@ -664,6 +664,7 @@ int main(int argc, char **argv)
#ifdef _WIN32
log("End of script. Logfile hash: %s\n", hash);
(void)wall_clock_start;
#else
std::string meminfo;
std::string stats_divider = ", ";