| commit | 0f6bde0ee40de32e404d5c7882fe8c8aa47de0a3 | [log] [tgz] |
|---|---|---|
| author | Calin Juravle <calin@google.com> | Mon Nov 11 18:38:10 2019 -0800 |
| committer | Calin Juravle <calin@google.com> | Wed Nov 13 00:33:20 2019 +0000 |
| tree | 86ee936d14a432290aa54f1b15e775bf757801be | |
| parent | 83aacb23d88c3df3d7fe655655b715f8229078f9 [diff] |
Adjust profile version when the boot image profiling is switched on The current profile version needs to be updated if the boot image profiling was switched on dynamically. Otherwise we will not be able to add new data to the file since we will have a version mismatch. Test: manual & profile_compilation_info_test Bug: 139884006 Change-Id: I85e9970c5e26d3f2144a644e7052f2b6a433e1db