diff --git a/test/jenkins/criu-iter.sh b/test/jenkins/criu-iter.sh index 49e77f63e..6d9141e04 100644 --- a/test/jenkins/criu-iter.sh +++ b/test/jenkins/criu-iter.sh @@ -2,5 +2,5 @@ source `dirname $0`/criu-lib.sh && prep && -make -C test -j 4 ZDTM_ARGS="-C -i 3" zdtm && +make -C test -j 4 ZDTM_ARGS="-C -i 3 -x maps04" zdtm && true || fail