Merge pull request #1838 from adrianreber/lazy

criu tests: rename criu feature check
This commit is contained in:
Michael Crosby 2018-07-10 10:09:40 -04:00 committed by GitHub
commit 21ac0862f2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -128,7 +128,7 @@ function teardown() {
requires criu root
# check if lazy-pages is supported
run ${CRIU} check --feature lazy_pages
run ${CRIU} check --feature uffd-noncoop
if [ "$status" -eq 1 ]; then
# this criu does not support lazy migration; skip the test
skip "this criu does not support lazy migration"