[CRIU] [PATCH] jenkins: check page-server (v2)

[Andrey Vagin]

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

v2: execute all tests with and without page server
Signed-off-by: Andrey Vagin <avagin at openvz.org>
---
 test/jenkins/criu-pre-dump.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/test/jenkins/criu-pre-dump.sh b/test/jenkins/criu-pre-dump.sh
index a06445c..8ddee38 100644
--- a/test/jenkins/criu-pre-dump.sh
+++ b/test/jenkins/criu-pre-dump.sh
@@ -5,4 +5,5 @@ 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 && # + page server
 true || fail
-- 
1.9.3