diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-03-11 20:12:28 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2019-03-11 20:12:28 +0100 |
| commit | 20c6a8c9b0abb384517c4cc6f58cd29a90bda6ff (patch) | |
| tree | da5cb7ac07229a9a577177171ec3f1eb77c928c6 /kernel/log.cc | |
| parent | d9bb5f3637634ea214194b612aee4bb0c62d7a5c (diff) | |
| download | yosys-20c6a8c9b0abb384517c4cc6f58cd29a90bda6ff.tar.gz yosys-20c6a8c9b0abb384517c4cc6f58cd29a90bda6ff.tar.bz2 yosys-20c6a8c9b0abb384517c4cc6f58cd29a90bda6ff.zip | |
Improve determinism of IdString DB for similar scripts
Signed-off-by: Clifford Wolf <clifford@clifford.at>
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) |