use run() in osx_fat_reader

Daniel Kroening · Daniel Kroening · commit 6fc04ea475ba · 2018-09-11T08:19:18.000+01:00
diff --git a/src/goto-programs/osx_fat_reader.cpp b/src/goto-programs/osx_fat_reader.cpp
@@ -18,6 +18,8 @@ Module: Read Mach-O
 #include <mach-o/fat.h>
 #endif
 
+#include <util/run.h>
+
 bool is_osx_fat_magic(char hdr[4])
 {
 #ifdef __APPLE__
@@ -79,7 +81,5 @@ bool osx_fat_readert::extract_gb(
 {
   assert(has_gb_arch);
 
-  std::string command=
-    "lipo -thin hppa7100LC -output \""+dest+"\" \""+source+"\"";
-  return system(command.c_str())!=0;
+  return run("lipo", {"lipo", "-thin", "hppa7100LC", "-output", dest, source});
 }

Original file line number	Diff line number	Diff line change
`@@ -18,6 +18,8 @@ Module: Read Mach-O`
`18`	`18`	`#include <mach-o/fat.h>`
`19`	`19`	`#endif`
`20`	`20`
	`21`	`+#include <util/run.h>`
	`22`	`+`
`21`	`23`	`bool is_osx_fat_magic(char hdr[4])`
`22`	`24`	`{`
`23`	`25`	`#ifdef __APPLE__`
`@@ -79,7 +81,5 @@ bool osx_fat_readert::extract_gb(`
`79`	`81`	`{`
`80`	`82`	`assert(has_gb_arch);`
`81`	`83`
`82`		`- std::string command=`
`83`		`- "lipo -thin hppa7100LC -output \""+dest+"\" \""+source+"\"";`
`84`		`- return system(command.c_str())!=0;`
	`84`	`+ return run("lipo", {"lipo", "-thin", "hppa7100LC", "-output", dest, source});`
`85`	`85`	`}`