From b5f6e786ea3affc6688ec9d229ae8642f2c9e151 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Mon, 7 Jan 2019 09:45:21 +0100 Subject: [PATCH] Switch "bugpoint" from system() to run_command() Signed-off-by: Clifford Wolf --- passes/cmds/bugpoint.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)