diff --git a/test/jenkins/criu-inhfd.sh b/test/jenkins/criu-inhfd.sh new file mode 100755 index 000000000..656374a95 --- /dev/null +++ b/test/jenkins/criu-inhfd.sh @@ -0,0 +1,5 @@ +# Check known fault injections +set -e +source `dirname $0`/criu-lib.sh +prep +./test//zdtm.py --set inhfd run --all -f h || fail