Honor capstone commit in ci ##build

This commit is contained in:
pancake 2022-04-26 11:49:53 +02:00 committed by GitHub
parent 7be543919e
commit 14d9f03305
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -80,6 +80,7 @@ get_capstone() {
}
update_capstone_git() {
cd capstone || fatal_msg 'Failed to chdir'
git checkout "${CS_BRA}" || fatal_msg "Cannot checkout to branch $CS_BRA"
# if [ -n "${CS_TIP}" ]; then
# # if our shallow clone not contains CS_TIP, clone until it
@ -99,6 +100,7 @@ update_capstone_git() {
fi
env EDITOR=cat git revert --no-edit "${CS_REV}"
fi
cd ..
}
### MAIN ###
@ -134,7 +136,7 @@ if [ -n "${CS_ARCHIVE}" ]; then
else
git_assert
get_capstone
# if [ ! -d capstone/.git ]; then update_capstone_git fi
[ -d capstone/.git ] && update_capstone_git
fi
cd capstone || fatal_msg 'Cannot change working directory'
patch_capstone