bump version: 0.9.1 -> 0.9.2

Reviewed By: jberdine

Differential Revision: D3751244

fbshipit-source-id: 6192883
master
Jules Villard 9 years ago committed by Facebook Github Bot
parent ed8d112e87
commit b4f6ea1827

@ -15,7 +15,7 @@ AC_PREREQ([2.63])
# - opam
# - docker/Dockerfile
AC_INIT([Infer],
[0.9.1],
[0.9.2],
[https://github.com/facebook/infer/issues/])
# this has to happen just after AC_INIT() because later macros may mess with the arguments passed to
@ -27,7 +27,7 @@ AC_CONFIG_SRCDIR([infer/src/IR/Sil.re])
# WARNING: keep in sync with above
INFER_MAJOR=0
INFER_MINOR=9
INFER_PATCH=1
INFER_PATCH=2
AC_SUBST([INFER_MAJOR])
AC_SUBST([INFER_MINOR])

@ -44,7 +44,7 @@ RUN VERSION=1.2.2; \
RUN opam init -y --comp=4.02.3
# Download the latest Infer release
RUN INFER_VERSION=v0.9.1; \
RUN INFER_VERSION=v0.9.2; \
cd /opt && \
curl -sL \
https://github.com/facebook/infer/releases/download/${INFER_VERSION}/infer-linux64-${INFER_VERSION}.tar.xz | \

@ -1,6 +1,6 @@
opam-version: "1.2"
name: "infer"
version: "0.9.1"
version: "0.9.2"
maintainer: "opam-devel@lists.ocaml.org"
authors: "Facebook"
homepage: "https://github.com/facebook/infer"

Loading…
Cancel
Save