diff options
author | Pirama Arumuga Nainar <pirama@google.com> | 2018-01-18 12:35:40 -0800 |
---|---|---|
committer | Pirama Arumuga Nainar <pirama@google.com> | 2018-01-18 16:17:25 -0800 |
commit | c89013cd10cf508cab8f36e8b8925cd0b0464dac (patch) | |
tree | 757d1a93851360d5709c39c4ebc1c0ab2cba5a5a /compiler/optimizing/code_generator.h | |
parent | ad643b01de3f1152badfb12edb8469d40843d1e7 (diff) |
Update PGO configuration
Bug: http://b/63768402
- Remove the 'enable_profile_use' property. This is a no-op change with
https://android-review.googlesource.com/c/591562 - PGO profile use is
only enabled if the profile file exists. We don't have one yet.
- Move the profile file location to an art/ subdirectory so it doesn't
conflict with profiles for other projects
Test: Build AOSP
Change-Id: Ifb7cded58a786dc5b1024a4c2c770873fcf4413c
Diffstat (limited to 'compiler/optimizing/code_generator.h')
0 files changed, 0 insertions, 0 deletions