From d2aca60937eb41abe6625a4076c55b0fe7f2b385 Mon Sep 17 00:00:00 2001
From: Jules Villard <jul@fb.com>
Date: Thu, 21 Apr 2016 11:34:03 -0700
Subject: [PATCH] bump version: 0.8.0 -> 0.8.1
Reviewed By: akotulski
Differential Revision: D3208275
fb-gh-sync-id: eb54dfe
fbshipit-source-id: eb54dfe
---
configure.ac | 4 ++--
docker/Dockerfile | 2 +-
opam | 2 +-
3 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/configure.ac b/configure.ac
index cf9ba853d..b322857d4 100644
--- a/configure.ac
+++ b/configure.ac
@@ -15,14 +15,14 @@ AC_PREREQ([2.63])
# - opam
# - docker/Dockerfile
AC_INIT([Infer],
- [0.8.0],
+ [0.8.1],
[https://github.com/facebook/infer/issues/])
AC_CONFIG_SRCDIR([infer/src/IR/sil.ml])
# WARNING: keep in sync with above
INFER_MAJOR=0
INFER_MINOR=8
-INFER_PATCH=0
+INFER_PATCH=1
AC_SUBST([INFER_MAJOR])
AC_SUBST([INFER_MINOR])
diff --git a/docker/Dockerfile b/docker/Dockerfile
index c528c7b4d..016b0944b 100644
--- a/docker/Dockerfile
+++ b/docker/Dockerfile
@@ -40,7 +40,7 @@ RUN VERSION=1.2.2; \
RUN opam init -y --comp=4.02.3
# Download the latest Infer release
-RUN INFER_VERSION=v0.8.0; \
+RUN INFER_VERSION=v0.8.1; \
cd /opt && \
curl -sL \
https://github.com/facebook/infer/releases/download/${INFER_VERSION}/infer-linux64-${INFER_VERSION}.tar.xz | \
diff --git a/opam b/opam
index ac2d010b8..0274a1de9 100644
--- a/opam
+++ b/opam
@@ -1,6 +1,6 @@
opam-version: "1.2"
name: "infer"
-version: "0.8.0"
+version: "0.8.1"
maintainer: "opam-devel@lists.ocaml.org"
authors: "Facebook"
homepage: "https://github.com/facebook/infer"