Git fetch if we don't have the correct capstone commit locally

This commit is contained in:
Mohamed Lemine Ould El-Hadj 2022-11-06 10:38:07 -05:00 committed by pancake
parent 80817a794d
commit 33303814c1

View File

@ -92,6 +92,9 @@ update_capstone_git() {
# done
# git reset --hard "${CS_TIP}"
# fi
if ! git show --oneline ${CS_TIP} &>/dev/null ; then
git fetch
fi
git reset --hard "${CS_TIP}"
if [ -n "${CS_REV}" ]; then
if ! git config user.name ; then