diff options
| author | 2020-08-05 16:59:49 +0000 | |
|---|---|---|
| committer | 2020-08-05 16:59:49 +0000 | |
| commit | 6ee0ecb3b3737a6a0eed9212e8dd809b68979b37 (patch) | |
| tree | ff563886328f44a893172723ffa1b10612b9afc1 /tools/cpp-define-generator/make_header.py | |
| parent | 044f9142df7f85879a8c55c4dbff8c36b458fe8a (diff) | |
| parent | a26b2586ba85b3982a04839ff36e6e1bf2ae0623 (diff) | |
Remove tiered jit option. am: b96d6f3846 am: a26b2586ba
Original change: https://android-review.googlesource.com/c/platform/art/+/1391217
Change-Id: Ic5ff42cb59b8e6ab10bec0a55560e64909f5435a
Diffstat (limited to 'tools/cpp-define-generator/make_header.py')
0 files changed, 0 insertions, 0 deletions