Fix #5559 - Fix build of release capstone

This commit is contained in:
pancake 2016-08-23 01:46:07 +02:00
parent 0b86c2ac55
commit 662d482708

View File

@ -6,6 +6,10 @@ CS_REV="$4" # revert
if [ -d capstone -a ! -d capstone/.git ]; then if [ -d capstone -a ! -d capstone/.git ]; then
echo "[capstone] release with no git?" echo "[capstone] release with no git?"
cd capstone
for PATCH in ../capstone-patches/* ; do
patch -Rp1 < $PATCH
done
else else
if [ ! -d capstone ]; then if [ ! -d capstone ]; then
git clone "${CS_URL}" capstone || exit 1 git clone "${CS_URL}" capstone || exit 1