Switch "bugpoint" from system() to run_command()

Signed-off-by: Clifford Wolf <clifford@clifford.at>

diff --git a/passes/cmds/bugpoint.cc b/passes/cmds/bugpoint.cc
index 736e9427463e27632c0e620716e4b2db9a729f74..606276e6438b751ec877ed10d90c9290d90efc81 100644 (file)
--- 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)