From: Clifford Wolf <clifford@clifford.at>
Date: Mon, 7 Jan 2019 08:45:21 +0000 (+0100)
Subject: Switch "bugpoint" from system() to run_command()
X-Git-Tag: yosys-0.9~337
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b5f6e786ea3affc6688ec9d229ae8642f2c9e151;p=yosys.git

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 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)