From a0b596d4b8dbd3f7f7b4f4414a00662460d05829 Mon Sep 17 00:00:00 2001
From: Matthew Haughton <3flex@users.noreply.github.com>
Date: Mon, 27 Feb 2017 07:36:33 -0800
Subject: [PATCH] [infer][PR] Docker: Update to Infer v0.10.0

Summary:
Given #524 was required to do the last manual update, perhaps the Dockerfile could be updated as part of the release process instead of catching it after the fact?

Cheers!
Closes https://github.com/facebook/infer/pull/585

Reviewed By: akotulski

Differential Revision: D4620311

Pulled By: jvillard

fbshipit-source-id: fa74d95
---
 docker/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docker/Dockerfile b/docker/Dockerfile
index 748ef4b30..0f5a6d110 100644
--- a/docker/Dockerfile
+++ b/docker/Dockerfile
@@ -45,7 +45,7 @@ RUN VERSION=1.2.2; \
 RUN opam init -y --comp=4.02.3
 
 # Download the latest Infer release
-RUN INFER_VERSION=v0.9.4.1; \
+RUN INFER_VERSION=v0.10.0; \
     cd /opt && \
     curl -sL \
       https://github.com/facebook/infer/releases/download/${INFER_VERSION}/infer-linux64-${INFER_VERSION}.tar.xz | \