mirror of https://github.com/YosysHQ/yosys.git
Switch "bugpoint" from system() to run_command()
Signed-off-by: Clifford Wolf <clifford@clifford.at>
This commit is contained in:
parent
d35858078d
commit
b5f6e786ea
|
@ -83,7 +83,7 @@ struct BugpointPass : public Pass {
|
|||
f.close();
|
||||
|
||||
string yosys_cmdline = stringf("%s -qq -L bugpoint-case.log -s %s bugpoint-case.il", yosys_cmd.c_str(), script.c_str());
|
||||
return system(yosys_cmdline.c_str()) == 0;
|
||||
return run_command(yosys_cmdline) == 0;
|
||||
}
|
||||
|
||||
bool check_logfile(string grep)
|
||||
|
|
Loading…
Reference in New Issue