forgot pin headers

2014-08-21 11:21:39 -07:00 · 2014-08-21 11:21:39 -07:00 · aa436590e9
parent 9bcd4c4bd0
commit aa436590e9
2 changed files with 2 additions and 0 deletions
--- a/bdistrib.sh
+++ b/bdistrib.sh
@ -73,6 +73,8 @@ echo "copying pin"
 mkdir -p distrib/qira/pin
 cp -av pin_build.sh distrib/qira/
 cp -av pin/makefile pin/qirapin.cpp distrib/qira/pin/
+mkdir -p distrib/qira/pin/strace
+cp -av pin/strace/*.h distrib/qira/pin/strace/

 echo "copying cda"
 mkdir -p distrib/qira/cda distrib/qira/cda/clang
--- a/releases/qira-1.0.tar.xz
+++ b/releases/qira-1.0.tar.xz