tree 4b2c28aa520819a98d3f2c60e5f2b55862271d91
parent a37920c9be97005ce2a18c65c6f48fe047b38df5
author Yi-Yo Chiang <yochiang@google.com> 1642868771 +0800
committer Yi-Yo Chiang <yochiang@google.com> 1643034357 +0800

Add `gki_retrofitting_tools.zip` to GSI/GKI DIST_DIR

For easy pickup from ci.android.com

The zip archive would contain the `retrofit_gki` tool and its
dependencies plus a README file.

Bug: 210367929
Test: m dist && unzip out/dist/gki_retrofitting_tools.zip
Change-Id: I2ffb457e8c09091e7aaf248b1e18f4c4d96e4492