jenkins: add a script to check inherit file descriptors

Signed-off-by: Andrew Vagin <avagin@virtuozzo.com> Signed-off-by: Pavel Emelyanov <xemul@parallels.com>

jenkins: add a script to check inherit file descriptors
Signed-off-by: Andrew Vagin <avagin@virtuozzo.com> Signed-off-by: Pavel Emelyanov <xemul@parallels.com>
5d75e1f4 · Andrew Vagin · Pavel Emelyanov · ea68c33f · 5d75e1f4
Commit 5d75e1f4 authored Dec 25, 2015 by Andrew Vagin Committed by Pavel Emelyanov Dec 29, 2015
Hide whitespace changes
Inline Side-by-side

Showing with 5 additions and 0 deletions

criu-inhfd.sh test/jenkins/criu-inhfd.sh +5 -0

No files found.
--- a/test/jenkins/criu-inhfd.sh
+++ b/test/jenkins/criu-inhfd.sh
+# Check known fault injections
+set -e
+source `dirname $0`/criu-lib.sh
+prep
+./test//zdtm.py --set inhfd run --all -f h || fail