diff options
| author | Clifford Wolf <clifford@clifford.at> | 2018-01-07 16:36:13 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2018-01-07 16:36:13 +0100 |
| commit | a96c775a7301645b27486a5e663c75fca460f577 (patch) | |
| tree | 18ab72d9bcf1fe0da59e993f71dc2ccf09f21066 /kernel/register.cc | |
| parent | 446ccf1f05b2b36db9161bf4ab050778a1cbaee6 (diff) | |
| download | yosys-a96c775a7301645b27486a5e663c75fca460f577.tar.gz yosys-a96c775a7301645b27486a5e663c75fca460f577.tar.bz2 yosys-a96c775a7301645b27486a5e663c75fca460f577.zip | |
Add support for "yosys -E"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'kernel/register.cc')
| -rw-r--r-- | kernel/register.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/kernel/register.cc b/kernel/register.cc index 983577682..e30414f44 100644 --- a/kernel/register.cc +++ b/kernel/register.cc @@ -428,6 +428,7 @@ void Frontend::extra_args(std::istream *&f, std::string &filename, std::vector<s } std::ifstream *ff = new std::ifstream; ff->open(filename.c_str()); + yosys_input_files.insert(filename); if (ff->fail()) delete ff; else @@ -543,6 +544,7 @@ void Backend::extra_args(std::ostream *&f, std::string &filename, std::vector<st filename = arg; std::ofstream *ff = new std::ofstream; ff->open(filename.c_str(), std::ofstream::trunc); + yosys_output_files.insert(filename); if (ff->fail()) { delete ff; log_cmd_error("Can't open output file `%s' for writing: %s\n", filename.c_str(), strerror(errno)); |