criu/test/jenkins/criu-pre-dump.sh

#!/bin/bash

# Check 3 pre-dump-s before dump (with and w/o page server)
set -e
source `dirname $0`/criu-lib.sh
prep
mount_tmpfs_to_dump
./test/zdtm.py run --all --keep-going --report report --parallel 4 --pre 3 -x 'maps04' || fail
./test/zdtm.py run --all --keep-going --report report --parallel 4 --pre 3 --page-server -x 'maps04' || fail
test/jenkins: use bash to run shell scripts We permanently have issues like this: ./test/jenkins/criu-iter.sh: 3: source: not found It looks like a good idea to use one shell to run our jenkins scripts. Signed-off-by: Andrei Vagin <avagin@gmail.com> 2020-04-18 22:28:24 +03:00			`#!/bin/bash`

jenkins: Move pre-dump test on .py launcher Signed-off-by: Pavel Emelyanov <xemul@parallels.com> 2015-11-12 16:58:04 +04:00			`# Check 3 pre-dump-s before dump (with and w/o page server)`
			`set -e`
			source `dirname $0`/criu-lib.sh
			`prep`
			`mount_tmpfs_to_dump`
Revert "ci: skip new hugetlb maps09/maps10 tests for pre-dump" This reverts commit 37ea8c5fcfef2108800b6d53054f3a7c4f710752. Signed-off-by: Bui Quang Minh <minhquangbui99@gmail.com> 2022-05-08 16:19:45 +07:00			`./test/zdtm.py run --all --keep-going --report report --parallel 4 --pre 3 -x 'maps04' \|\| fail`
			`./test/zdtm.py run --all --keep-going --report report --parallel 4 --pre 3 --page-server -x 'maps04' \|\| fail`