Speedup capstone cloning

This commit is contained in:
pancake 2017-01-16 01:36:37 +01:00
parent d9d64b6cac
commit 9e206a4324

View File

@ -12,7 +12,7 @@ if [ -d capstone -a ! -d capstone/.git ]; then
done
else
if [ ! -d capstone ]; then
git clone "${CS_URL}" capstone || exit 1
git clone -b next --depth 10 "${CS_URL}" capstone || exit 1
fi
cd capstone || exit 1
if [ -n "${CS_REV}" ]; then