Skip to content

Commit

Permalink
#22: Link capstone only for taintgrind
Browse files Browse the repository at this point in the history
  • Loading branch information
wmkhoo committed Feb 10, 2019
1 parent 8deab29 commit 7e51d39
Showing 1 changed file with 4 additions and 2 deletions.
6 changes: 4 additions & 2 deletions link_tool_exe_darwin.patch
Original file line number Diff line number Diff line change
@@ -1,11 +1,13 @@
--- coregrind/link_tool_exe_darwin.in.new 2019-02-10 20:57:55.000000000 +0800
+++ coregrind/link_tool_exe_darwin.in 2019-02-10 20:59:15.000000000 +0800
@@ -169,6 +169,9 @@
@@ -169,6 +169,11 @@
}
}

+# Taintgrind: ld options for linking capstone
+$cmd = "$cmd -lcapstone -L./capstone-3.0.4/";
+if ("$cmd" =~ /taintgrind/){
+ $cmd = "$cmd -lcapstone -L./capstone-3.0.4/";
+}
+
print "link_tool_exe_darwin: $cmd\n";

Expand Down

0 comments on commit 7e51d39

Please sign in to comment.