diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-03-12 20:27:36 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-03-12 20:27:36 +0100 |
| commit | ac10f72e49d87ccca82207eceee6c2aadb01820d (patch) | |
| tree | 784d8716d4fe4ffe221eb8ae5bc6e702614b7b66 /kernel/log.cc | |
| parent | ef48b62cb1206a3b72c00735fe817683ccf0f005 (diff) | |
| parent | 20c6a8c9b0abb384517c4cc6f58cd29a90bda6ff (diff) | |
| download | yosys-ac10f72e49d87ccca82207eceee6c2aadb01820d.tar.gz yosys-ac10f72e49d87ccca82207eceee6c2aadb01820d.tar.bz2 yosys-ac10f72e49d87ccca82207eceee6c2aadb01820d.zip | |
Merge pull request #866 from YosysHQ/clifford/idstuff
Improve determinism of IdString DB for similar scripts
Diffstat (limited to 'kernel/log.cc')
| -rw-r--r-- | kernel/log.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/kernel/log.cc b/kernel/log.cc index 0ee2170a0..400a549dd 100644 --- a/kernel/log.cc +++ b/kernel/log.cc @@ -196,7 +196,11 @@ void logv_header(RTLIL::Design *design, const char *format, va_list ap) if (log_hdump.count(header_id) && design != nullptr) for (auto &filename : log_hdump.at(header_id)) { log("Dumping current design to '%s'.\n", filename.c_str()); + if (yosys_xtrace) + IdString::xtrace_db_dump(); Pass::call(design, {"dump", "-o", filename}); + if (yosys_xtrace) + log("#X# -- end of dump --\n"); } if (pop_errfile) |