From 5d75e1f4cfc2ce2bf0db3474ba11603aaa487fd6 Mon Sep 17 00:00:00 2001 From: Andrew Vagin Date: Fri, 25 Dec 2015 19:22:00 +0300 Subject: [PATCH] jenkins: add a script to check inherit file descriptors Signed-off-by: Andrew Vagin Signed-off-by: Pavel Emelyanov --- test/jenkins/criu-inhfd.sh | 5 +++++ 1 file changed, 5 insertions(+) create mode 100755 test/jenkins/criu-inhfd.sh 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