From 40286086df3ee4a3ca7457a79d420f75802a3f15 Mon Sep 17 00:00:00 2001
From: Catena cyber <35799796+catenacyber@users.noreply.github.com>
Date: Mon, 18 Mar 2019 20:34:47 +0100
Subject: [PATCH] Capstone: use the new v4 branch (#2246)

---
 projects/capstone/Dockerfile | 2 +-
 projects/capstone/build.sh   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/projects/capstone/Dockerfile b/projects/capstone/Dockerfile
index 8d0820008..d4ef22396 100644
--- a/projects/capstone/Dockerfile
+++ b/projects/capstone/Dockerfile
@@ -17,7 +17,7 @@
 FROM gcr.io/oss-fuzz-base/base-builder
 MAINTAINER capstone.engine@gmail.com
 RUN apt-get update && apt-get install -y make cmake python python-setuptools
-RUN git clone --depth 1 --branch master https://github.com/aquynh/capstone.git capstonemaster
+RUN git clone --depth 1 --branch v4 https://github.com/aquynh/capstone.git capstonev4
 RUN git clone --depth 1 --branch next https://github.com/aquynh/capstone.git capstonenext
 WORKDIR $SRC
 COPY build.sh $SRC/
diff --git a/projects/capstone/build.sh b/projects/capstone/build.sh
index 6b161b62e..f1b1769df 100755
--- a/projects/capstone/build.sh
+++ b/projects/capstone/build.sh
@@ -16,7 +16,7 @@
 ################################################################################
 
 #add next branch
-for branch in master next
+for branch in v4 next
 do
     cd capstone$branch
     # build project