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

[Pavel Emelyanov]

On 11/05/2014 06:21 PM, Andrew Vagin wrote:
> 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?

Yes. Yes :)

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