tree fbb5563f7ccd746ab54f98afc563267e608a5c3e
parent abd8f052512fa2bb404f1eb0a42ffe0e5d802b7e
author Vladimir Marko <vmarko@google.com> 1575904599 +0000
committer Vladimir Marko <vmarko@google.com> 1576058093 +0000

Follow-up for "Use provided dex filenames in oat file."

Address late comments for
    https://android-review.googlesource.com/1180228 .

Test: m test-art-host-gtest
Change-Id: Ib242db89a630a70b46d603feadaa1a2f3840a02a