From 76393e0c1b809d306550af1023ecedc05aac8619 Mon Sep 17 00:00:00 2001 From: "M. Mert Yildiran" Date: Thu, 9 Jun 2022 08:41:12 +0300 Subject: [PATCH] Update `devops/install-capstone.sh` --- devops/install-capstone.sh | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/devops/install-capstone.sh b/devops/install-capstone.sh index 847da1cee..bb36551b5 100755 --- a/devops/install-capstone.sh +++ b/devops/install-capstone.sh @@ -5,7 +5,8 @@ if (( $EUID != 0 )); then SUDO='sudo' fi -git clone https://github.com/capstone-engine/capstone.git -b 4.0.2 --depth 1 && \ -cd capstone && \ -./make.sh && \ -$SUDO ./make.sh install +curl https://github.com/aquynh/capstone/archive/4.0.2.tar.gz -Lo ./capstone.tar.gz \ + && tar -xzf capstone.tar.gz && mv ./capstone-* ./capstone \ + && cd capstone \ + && ./make.sh \ + && $SUDO ./make.sh install