# type_transition must be private policy the domain_trans rules could stay
# public, but conceptually should go with this
# Run dex2oat/patchoat in its own sandbox.
# We have to manually transition, as we don't have an entrypoint.
domain_auto_trans(postinstall_dexopt, postinstall_file, dex2oat)