From b8d92bd4ebb4466466f52cc5281ccab21bbd384e Mon Sep 17 00:00:00 2001 From: Pavel Emelyanov Date: Tue, 22 Dec 2015 12:31:48 +0300 Subject: [PATCH] jenkins: Add user mode job Signed-off-by: Pavel Emelyanov Looks-good-to-me: Andrew Vagin --- test/jenkins/criu-user.sh | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100755 test/jenkins/criu-user.sh diff --git a/test/jenkins/criu-user.sh b/test/jenkins/criu-user.sh new file mode 100755 index 000000000..20329bfc6 --- /dev/null +++ b/test/jenkins/criu-user.sh @@ -0,0 +1,6 @@ +# Make 3 iteration of dump/restore for each test +set -e +source `dirname $0`/criu-lib.sh +prep +mount_tmpfs_to_dump +./test/zdtm.py run --all --report report --parallel 4 --user --norst -x 'maps04' || fail