diff --git a/scripts/travis/travis-tests b/scripts/travis/travis-tests index 8800d5f04..8c708e90e 100755 --- a/scripts/travis/travis-tests +++ b/scripts/travis/travis-tests @@ -70,6 +70,7 @@ chmod 0777 test/zdtm/static chmod 0777 test/zdtm/transition ./test/zdtm.py run -a -p 2 +./test/zdtm.py run -a -p 2 --lazy-pages -x maps007 bash ./test/jenkins/criu-fault.sh bash ./test/jenkins/criu-fcg.sh