diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-08-01 19:43:28 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-08-01 19:43:28 +0200 |
| commit | 75ffd1643c97321255bc591edf0c1a7097b8dce9 (patch) | |
| tree | 12d691c2c84346b018ada3e3c90c0712cf9fd116 /kernel/yosys.cc | |
| parent | bd74ed7da467de11128c57c4c424febe4a7e2f39 (diff) | |
| download | yosys-75ffd1643c97321255bc591edf0c1a7097b8dce9.tar.gz yosys-75ffd1643c97321255bc591edf0c1a7097b8dce9.tar.bz2 yosys-75ffd1643c97321255bc591edf0c1a7097b8dce9.zip | |
Added logfile hash to statistics footer
Diffstat (limited to 'kernel/yosys.cc')
| -rw-r--r-- | kernel/yosys.cc | 16 |
1 files changed, 14 insertions, 2 deletions
diff --git a/kernel/yosys.cc b/kernel/yosys.cc index 671945631..89a9cdf7f 100644 --- a/kernel/yosys.cc +++ b/kernel/yosys.cc @@ -37,13 +37,22 @@ Tcl_Interp *yosys_tcl_interp = NULL; std::string stringf(const char *fmt, ...) { std::string string; - char *str = NULL; va_list ap; va_start(ap, fmt); + string = vstringf(fmt, ap); + va_end(ap); + + return string; +} + +std::string vstringf(const char *fmt, va_list ap) +{ + std::string string; + char *str = NULL; + if (vasprintf(&str, fmt, ap) < 0) str = NULL; - va_end(ap); if (str != NULL) { string = str; @@ -71,6 +80,9 @@ void yosys_shutdown() { log_pop(); + delete yosys_design; + yosys_design = NULL; + for (auto f : log_files) if (f != stderr) fclose(f); |