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

[Andrei Vagin]

Applied, thanks!
On Wed, Sep 13, 2017 at 10:04:31AM -0700, Mike Rapoport wrote:
> 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
>