[CRIU] [PATCH 0/2] fix faiulures of lazy-migration Jenkins job

[Andrei Vagin]

Applied, thanks!

On Mon, Dec 10, 2018 at 05:44:09PM +0200, Mike Rapoport wrote:
> Hi,
> 
> After we've actually enabled lazy migration in Jenkins, it discovered that
> running 'criu pre-dump --lazy-pages' is not really good idea.
> 
> These patches ensure that pre-dump won't accept --lazy-pages and adjust
> zdtm.py accordingly.
> 
> Mike Rapoport (2):
>   pre-dump: don't allow --lazy-pages option
>   test: lazy-migration: don't try to run pre-dump with --lazy-pages
> 
>  criu/crtools.c | 5 +++++
>  test/zdtm.py   | 2 +-
>  2 files changed, 6 insertions(+), 1 deletion(-)
> 
> -- 
> 2.7.4
>