Update criu to 3.1

This updates criu to the latest release to help resolve some of the
issues we are seeing on the CI.

Signed-off-by: Michael Crosby <crosbymichael@gmail.com>
This commit is contained in:
Michael Crosby 2017-06-09 10:44:22 -07:00 committed by Daniel Dao
parent d337d807fc
commit 53ab4f8717
No known key found for this signature in database
GPG Key ID: E59A5D531B20D399
1 changed files with 1 additions and 1 deletions

View File

@ -40,7 +40,7 @@ RUN cd /tmp \
&& rm -rf /tmp/bats
# install criu
ENV CRIU_VERSION 2.12
ENV CRIU_VERSION 3.1
RUN mkdir -p /usr/src/criu \
&& curl -sSL https://github.com/xemul/criu/archive/v${CRIU_VERSION}.tar.gz | tar -v -C /usr/src/criu/ -xz --strip-components=1 \
&& cd /usr/src/criu \