diff options
Diffstat (limited to 'passes/cmds/tee.cc')
-rw-r--r-- | passes/cmds/tee.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/passes/cmds/tee.cc b/passes/cmds/tee.cc index 3db2dbf0e..b68c089e9 100644 --- a/passes/cmds/tee.cc +++ b/passes/cmds/tee.cc @@ -65,6 +65,7 @@ struct TeePass : public Pass { if ((args[argidx] == "-o" || args[argidx] == "-a") && argidx+1 < args.size()) { const char *open_mode = args[argidx] == "-o" ? "w" : "a+"; FILE *f = fopen(args[++argidx].c_str(), open_mode); + yosys_input_files.insert(args[argidx]); if (f == NULL) { for (auto cf : files_to_close) fclose(cf); |