| commit | 4ba700af65f8346a96ba8d1dec051358a09487f4 | [log] [tgz] |
|---|---|---|
| author | Calin Juravle <calin@google.com> | Mon Sep 16 15:45:17 2019 -0700 |
| committer | Calin Juravle <calin@google.com> | Fri Sep 20 20:31:49 2019 +0000 |
| tree | eaada5d02371099b84a5d0d27f210f635400f7ba | |
| parent | 1550a669adb7e9328879bed24d9edc22eb97c994 [diff] |
Clean up the use of profile_key / dex_locations The profile key / dex locations names were sometimes used interchangeably despite not being quite the same. Make clear, through renaming, which one is which. Bug: 139884006 Test: m test-art-host Change-Id: I9c79b2f2e577b873ee890333895cc90a7891499e