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

[Mike Rapoport]

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