diff options
Diffstat (limited to 'jenkins/docker')
| -rw-r--r-- | jenkins/docker/Dockerfile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/jenkins/docker/Dockerfile b/jenkins/docker/Dockerfile index df3dc8c2..919a2b61 100644 --- a/jenkins/docker/Dockerfile +++ b/jenkins/docker/Dockerfile @@ -132,6 +132,7 @@ ENV MVN mvn --batch-mode RUN cd /tmp && \ git clone https://github.com/google/protobuf.git && \ cd protobuf && \ + git reset 734930f9197b7bc97c3c794c7a949fee2a08c280 && \ ./autogen.sh && \ ./configure && \ make -j4 && \ |