#!/bin/sh -efu
# Generated by ./tests/gen_tests.sh from ./tests/gen_tests.in (migrate_pages--pidns-translation test_pidns -a33 -e trace=migrate_pages); do not edit.
. "${srcdir=.}/init.sh"
test_pidns -a33 -e trace=migrate_pages
#!/bin/sh -efu
# Generated by ./tests/gen_tests.sh from ./tests/gen_tests.in (migrate_pages--pidns-translation test_pidns -a33 -e trace=migrate_pages); do not edit.
. "${srcdir=.}/init.sh"
test_pidns -a33 -e trace=migrate_pages