diff options
| author | Calin Juravle <calin@google.com> | 2019-12-03 18:36:01 -0800 |
|---|---|---|
| committer | Treehugger Robot <treehugger-gerrit@google.com> | 2019-12-04 08:08:13 +0000 |
| commit | e571a283b73fb4621c401811f523503b3266564b (patch) | |
| tree | 3c2959dd9594cdb8efb290b391de227f2458bd96 /compiler/optimizing/graph_visualizer.h | |
| parent | 1755ad0062e97d0e358c65600fd5e51b40b85d95 (diff) | |
Ignore bad profiles when --force-merge is specified
The ART profiles are cleaned lazily and may stay a long time on an
obsolete version if the corresponding apps are not used or updated. For
regular profiles this is not a problem, however for boot image profiles
they can trigger unnecessary merge errors. As such, we ignore them when
--force-merge is specified.
Test: profile tests
Bug: 139884006
Change-Id: I10d9a325d79b279c8ec4fe8d70696e9335a17099
Diffstat (limited to 'compiler/optimizing/graph_visualizer.h')
0 files changed, 0 insertions, 0 deletions