diff options
author | 2019-03-18 20:34:47 +0100 | |
---|---|---|
committer | 2019-03-18 12:34:47 -0700 | |
commit | 40286086df3ee4a3ca7457a79d420f75802a3f15 (patch) | |
tree | 231690f84b911051c13295f51df941c28a6cdee7 /projects/capstone | |
parent | 31e74f0dcec25c1a06a8f80614285d6549267f6a (diff) |
Capstone: use the new v4 branch (#2246)
Diffstat (limited to 'projects/capstone')
-rw-r--r-- | projects/capstone/Dockerfile | 2 | ||||
-rwxr-xr-x | projects/capstone/build.sh | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/projects/capstone/Dockerfile b/projects/capstone/Dockerfile index 8d082000..d4ef2239 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 6b161b62..f1b1769d 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 |