3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-23 09:05:32 +00:00

Various improvements to version reporting on win32

This commit is contained in:
Clifford Wolf 2014-10-18 19:00:52 +02:00
parent 57cd485236
commit 0471d158d9
3 changed files with 23 additions and 11 deletions

View file

@ -45,10 +45,6 @@
YOSYS_NAMESPACE_BEGIN
#if defined(_WIN32) && !defined(__MINGW32__)
const char *yosys_version_str = "Yosys for Windows (Version Information Unavailable)";
#endif
int autoidx = 1;
RTLIL::Design *yosys_design = NULL;