commit | c89013cd10cf508cab8f36e8b8925cd0b0464dac | [log] [tgz] |
---|---|---|
author | Pirama Arumuga Nainar <pirama@google.com> | Thu Jan 18 12:35:40 2018 -0800 |
committer | Pirama Arumuga Nainar <pirama@google.com> | Thu Jan 18 16:17:25 2018 -0800 |
tree | 757d1a93851360d5709c39c4ebc1c0ab2cba5a5a | |
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