Add a few more filename rewrites

[yosys.git] / kernel / register.cc

diff --git a/kernel/register.cc b/kernel/register.cc
index 64956401f2348bcb19a376d38e383c75bf78ab24..26da96b95b6d9e62a217f3577050a25d510c4d38 100644 (file)
--- a/kernel/register.cc
+++ b/kernel/register.cc
@@ -87,6 +87,7 @@ Pass::pre_post_exec_state_t Pass::pre_execute()
 void Pass::post_execute(Pass::pre_post_exec_state_t state)
 {
        IdString::checkpoint();
+       log_suppressed();
 
        int64_t time_ns = PerformanceTimer::query() - state.begin_ns;
        runtime_ns += time_ns;
@@ -544,6 +545,7 @@ void Backend::extra_args(std::ostream *&f, std::string &filename, std::vector<st
                }
 
                filename = arg;
+               rewrite_filename(filename);
                std::ofstream *ff = new std::ofstream;
                ff->open(filename.c_str(), std::ofstream::trunc);
                yosys_output_files.insert(filename);