diff options
| author | 2018-04-24 10:42:02 -0700 | |
|---|---|---|
| committer | 2018-05-07 15:16:36 -0700 | |
| commit | ca610d2be459358a66815d88f20c751106af956c (patch) | |
| tree | 744312fa737ffaf9511f7be8e7fdf143f112f916 /java/java_resources.go | |
| parent | 028f42f002ffb679e9e8816ce74bb15623203b0f (diff) | |
Take Enable_profile_use into account when checking if PGO is enabled
Test: m
Change-Id: I3c589043af145450d0d97ef354a74845e9fae483
Diffstat (limited to 'java/java_resources.go')
0 files changed, 0 insertions, 0 deletions