diff --git a/test/jenkins/criu-stop.sh b/test/jenkins/criu-stop.sh new file mode 100644 index 000000000..d92519d68 --- /dev/null +++ b/test/jenkins/criu-stop.sh @@ -0,0 +1,5 @@ +# Check --leave-stopped option +set -e +source `dirname $0`/criu-lib.sh +prep +./test/zdtm.py run -t zdtm/transition/fork --stop --iter 3 || fail