| commit | 4175f96346ce9120b09b222234b974311885339a | [log] [tgz] |
|---|---|---|
| author | Logan Chien <loganchien@google.com> | Wed Jan 03 18:36:58 2018 +0800 |
| committer | Logan Chien <loganchien@google.com> | Wed Jan 03 18:38:26 2018 +0800 |
| tree | ed2f258a959d605d5b494d9af4203a6ad7310daf | |
| parent | dc14e4e0f66de0a33eaa73a3ddecb25d8298972c [diff] |
vndk-def: Do not delete removed libs by default This commit adds an option to prevent the removals of missing libs. The removal of shared libs should be reviewed by human. Test: ./tools/update_dataset.py --delete-removed-entries Change-Id: Ifa3fb8cf4dc706a56e1421281efd567f663d509c