commit b47e74255811b2ead92b22254174c27ae9d6c9f4
author Tibor Vass <tiborvass@users.noreply.github.com> Thu May 28 11:23:17 2020 -0700
committer GitHub <noreply@github.com> Thu May 28 11:23:17 2020 -0700
tree 94c3941776e9d97be6884a7547e36ec17c66d2f3
parent b85d75e29a3859b4d2b611f47cb1e67b8357ef07
parent 4c24512241fd3ba462ee5a91ce8d3de7649f254a

Merge pull request #41027 from thaJeztah/19.03_bump_criu

[19.03 backport] Dockerfile: bump CRIU 3.14

Dockerfile

diff --git a/Dockerfile b/Dockerfile
index c0842f8..1c966bf 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -51,7 +51,7 @@
     && rm -rf /var/lib/apt/lists/*
 
 # Install CRIU for checkpoint/restore support
-ENV CRIU_VERSION 3.13
+ARG CRIU_VERSION=3.14
 RUN mkdir -p /usr/src/criu \
     && curl -sSL https://github.com/checkpoint-restore/criu/archive/v${CRIU_VERSION}.tar.gz | tar -C /usr/src/criu/ -xz --strip-components=1 \
     && cd /usr/src/criu \