diff options
author | Mike Rapoport <mike.rapoport@gmail.com> | 2017-04-20 19:45:49 +0300 |
---|---|---|
committer | Andrei Vagin <avagin@virtuozzo.com> | 2017-09-16 11:47:03 +0300 |
commit | bd39d5edc5137eb03fad7b68d5cee6c6f810285b (patch) | |
tree | cc899477ac1288c2876e70a17eb2e9cb9c884197 /scripts/travis | |
parent | 583a399732e6985bff19434cb95d42b078f9d35a (diff) |
travis: add lazy-pages run
Signed-off-by: Mike Rapoport <rppt@linux.vnet.ibm.com>
Signed-off-by: Andrei Vagin <avagin@virtuozzo.com>
Diffstat (limited to 'scripts/travis')
-rwxr-xr-x | scripts/travis/travis-tests | 1 |
1 files changed, 1 insertions, 0 deletions
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 |