diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-06-21 10:13:51 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-06-21 10:13:51 +0200 |
| commit | c9949dba9994aa8289333657a52ef892c6e769d0 (patch) | |
| tree | 439a4aadcdec00f8f764608514284460964ab09e /kernel | |
| parent | 78e7a6f6f25c57ba560613f978ef8d9281fb615a (diff) | |
| parent | 8767ec3fbdc0986854107de9cf178953ef09f1db (diff) | |
| download | yosys-c9949dba9994aa8289333657a52ef892c6e769d0.tar.gz yosys-c9949dba9994aa8289333657a52ef892c6e769d0.tar.bz2 yosys-c9949dba9994aa8289333657a52ef892c6e769d0.zip | |
Merge pull request #1117 from bwidawsk/more-home
Add a few more filename rewrites
Diffstat (limited to 'kernel')
| -rw-r--r-- | kernel/register.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/kernel/register.cc b/kernel/register.cc index 71eb6b187..26da96b95 100644 --- a/kernel/register.cc +++ b/kernel/register.cc @@ -545,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); |