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

[Andrew Vagin]

On Wed, Nov 05, 2014 at 05:12:44PM +0400, Pavel Emelyanov wrote:
> 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.

Do you sugest to add a new job? Should it do pre-dump?
> 
> > 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
> > 
>