diff options
| author | 2017-04-27 21:45:35 +0100 | |
|---|---|---|
| committer | 2017-04-27 21:48:49 +0100 | |
| commit | fbc4f118aff7c284f0d9d2ca209166b7ff79e542 (patch) | |
| tree | acd35432af197b199235e48450f8ced791425ac0 /compiler/optimizing/code_sinking.cc | |
| parent | 04471122e705aba2b3b30651457097a8f3ac97b6 (diff) | |
If a profile is passed, we should always pass output-vdex and input-vdex.
Passing only input-vdex means the vdex will be updated in place, which
is not something we do with a profile in production.
Test: 629-vdex
Change-Id: Ie6d6bc3893259c65d5f8ae2cd81d644aec4eef78
Diffstat (limited to 'compiler/optimizing/code_sinking.cc')
0 files changed, 0 insertions, 0 deletions