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

[Andrey Vagin]

page-server are not tested now. I suggest to add it in the pre-dump job.

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
-- 
1.9.3