| # 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) |