From a96c775a7301645b27486a5e663c75fca460f577 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Sun, 7 Jan 2018 16:36:13 +0100
Subject: Add support for "yosys -E"

Signed-off-by: Clifford Wolf <clifford@clifford.at>
---
 kernel/register.cc | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'kernel/register.cc')

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));
-- 
cgit v1.2.3