[CRIU] [PATCH] jenkins: lazy-pages: skip maps04 for remote-lazy-pages

[Mike Rapoport]

Even with 2 parallel jobs maps04 takes too much time with
--remote-lazy-pages. Let's skip it for now.

Signed-off-by: Mike Rapoport <rppt at linux.vnet.ibm.com>
---
 test/jenkins/criu-lazy-pages.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/test/jenkins/criu-lazy-pages.sh b/test/jenkins/criu-lazy-pages.sh
index f32641e..cdbbf2a 100755
--- a/test/jenkins/criu-lazy-pages.sh
+++ b/test/jenkins/criu-lazy-pages.sh
@@ -18,8 +18,8 @@ fi
 	       --lazy-pages $LAZY_EXCLUDE || fail
 
 # lazy restore from "remote" dump
-./test/zdtm.py run --all --keep-going --report report --parallel 2 \
-	       --remote-lazy-pages $LAZY_EXCLUDE || fail
+./test/zdtm.py run --all --keep-going --report report --parallel 4 \
+	       --remote-lazy-pages $LAZY_EXCLUDE -x maps04 || fail
 
 # During pre-dump + lazy-pages we leave VM_NOHUGEPAGE set
 LAZY_EXCLUDE="$LAZY_EXCLUDE -x maps02"
-- 
2.7.4