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