aboutsummaryrefslogtreecommitdiffstats
path: root/passes/techmap/abc9.cc
diff options
context:
space:
mode:
authorEddie Hung <eddie@fpgeh.com>2020-01-08 10:55:44 -0800
committerEddie Hung <eddie@fpgeh.com>2020-01-08 10:55:44 -0800
commit050f03f15b01855d9c3bd6e98c4c47ebab607d57 (patch)
treeaaf28516344d1f1d09e9f81d38cba6ed2838e44a /passes/techmap/abc9.cc
parente230fd8afef6483d546cb38616e63b05d4d9b42a (diff)
downloadyosys-050f03f15b01855d9c3bd6e98c4c47ebab607d57.tar.gz
yosys-050f03f15b01855d9c3bd6e98c4c47ebab607d57.tar.bz2
yosys-050f03f15b01855d9c3bd6e98c4c47ebab607d57.zip
abc9: add time as last script command
Diffstat (limited to 'passes/techmap/abc9.cc')
-rw-r--r--passes/techmap/abc9.cc2
1 files changed, 1 insertions, 1 deletions
diff --git a/passes/techmap/abc9.cc b/passes/techmap/abc9.cc
index d03c24fdb..652ccafaf 100644
--- a/passes/techmap/abc9.cc
+++ b/passes/techmap/abc9.cc
@@ -302,7 +302,7 @@ void abc9_module(RTLIL::Design *design, RTLIL::Module *module, std::string scrip
for (size_t pos = abc9_script.find("&mfs"); pos != std::string::npos; pos = abc9_script.find("&mfs", pos))
abc9_script = abc9_script.erase(pos, strlen("&mfs"));
- abc9_script += stringf("&ps -l; &write -n %s/output.aig", tempdir_name.c_str());
+ abc9_script += stringf("&ps -l; &write -n %s/output.aig; time", tempdir_name.c_str());
abc9_script = add_echos_to_abc9_cmd(abc9_script);
for (size_t i = 0; i+1 < abc9_script.size(); i++)