[CRIU] [PATCH] jenkins: check page-server

[Pavel Emelyanov]

On 11/05/2014 05:53 PM, Andrey Vagin wrote:
> page-server are not tested now. I suggest to add it in the pre-dump job.

OK, but let's _add_ it, not replace regular testing with page-server.

> Signed-off-by: Andrey Vagin <avagin at openvz.org>
> ---
>  test/jenkins/criu-pre-dump.sh | 2 +-
>  1 file changed, 1 insertion(+), 1 deletion(-)
> 
> diff --git a/test/jenkins/criu-pre-dump.sh b/test/jenkins/criu-pre-dump.sh
> index a06445c..d411479 100644
> --- a/test/jenkins/criu-pre-dump.sh
> +++ b/test/jenkins/criu-pre-dump.sh
> @@ -4,5 +4,5 @@ source `dirname $0`/criu-lib.sh &&
>  prep &&
>  mkdir -p test/dump &&
>  mount -t tmpfs dump test/dump &&
> -make -C test -j 4 'ZDTM_ARGS=-P -i 3 -C' zdtm &&
> +make -C test -j 4 'ZDTM_ARGS=-p -P -i 3 -C' zdtm &&
>  true || fail
>