Merge pull request #40850 from thaJeztah/19.03_backport_criu_3.13

[19.03 backport] Update CRIU to v3.13 "Silicon Willet"
This commit is contained in:
Tibor Vass 2020-04-30 08:59:55 -07:00 committed by GitHub
commit e7349349fd
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -51,7 +51,7 @@ RUN apt-get update && apt-get install -y --no-install-recommends \
&& rm -rf /var/lib/apt/lists/*
# Install CRIU for checkpoint/restore support
ENV CRIU_VERSION 3.12
ENV CRIU_VERSION 3.13
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 \