diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-01-07 09:45:21 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2019-01-07 09:45:21 +0100 |
| commit | b5f6e786ea3affc6688ec9d229ae8642f2c9e151 (patch) | |
| tree | c7aa0e78f4d00498760faedcdc1263c791a98ae7 /passes/cmds/bugpoint.cc | |
| parent | d35858078d26137892a25a0316663cc51dd775d4 (diff) | |
| download | yosys-b5f6e786ea3affc6688ec9d229ae8642f2c9e151.tar.gz yosys-b5f6e786ea3affc6688ec9d229ae8642f2c9e151.tar.bz2 yosys-b5f6e786ea3affc6688ec9d229ae8642f2c9e151.zip | |
Switch "bugpoint" from system() to run_command()
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'passes/cmds/bugpoint.cc')
| -rw-r--r-- | passes/cmds/bugpoint.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/passes/cmds/bugpoint.cc b/passes/cmds/bugpoint.cc index 736e94274..606276e64 100644 --- a/passes/cmds/bugpoint.cc +++ b/passes/cmds/bugpoint.cc @@ -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) |