tree 86ee936d14a432290aa54f1b15e775bf757801be
parent 83aacb23d88c3df3d7fe655655b715f8229078f9
author Calin Juravle <calin@google.com> 1573526290 -0800
committer Calin Juravle <calin@google.com> 1573605200 +0000

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