From 9801cf8fb9ed99985e5e3a402c14af95a4f043c5 Mon Sep 17 00:00:00 2001
From: Julien Cretin <cretin@google.com>
Date: Tue, 10 Aug 2021 13:45:22 +0200
Subject: [PATCH] Fuzz develop branch instead of stable (#6191)

---
 projects/opensk/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/projects/opensk/Dockerfile b/projects/opensk/Dockerfile
index 58191f4a8..d914bd234 100644
--- a/projects/opensk/Dockerfile
+++ b/projects/opensk/Dockerfile
@@ -16,7 +16,7 @@
 FROM gcr.io/oss-fuzz-base/base-builder
 RUN apt-get update && apt-get install -y make autoconf automake libtool curl cmake python llvm-dev libclang-dev clang uuid-runtime
 
-RUN git clone --depth 1 https://github.com/google/OpenSK  && \
+RUN git clone --depth=1 --branch=develop https://github.com/google/OpenSK  && \
     cd OpenSK && \
     ./setup.sh && \
     ./fuzzing_setup.sh