diff options
author | Colin Cross <ccross@android.com> | 2020-07-06 14:15:24 -0700 |
---|---|---|
committer | Colin Cross <ccross@android.com> | 2020-07-17 19:11:05 +0000 |
commit | b32b71222e2ae958f8c06e415c434e4b067a8527 (patch) | |
tree | 8e9c04a7cf1b2ade5794e83d753a7ed5494d3898 /scripts/lint-project-xml.py | |
parent | 774a7580267ec9cb898f2a64b659fd85b7209926 (diff) |
Pass unstripped JNI libraries to Make
Pass a list of unstripped JNI libraries to Make so that they can be
installed into the symbols directory.
Bug: 159726429
Test: forrest
Change-Id: Ieb4bffbb3d0a09f476da011399c5b8b1611929d7
Merged-In: Ieb4bffbb3d0a09f476da011399c5b8b1611929d7
(cherry picked from commit 403cc15f1b01a43902a77f9d136d96303ebbe7af)
Diffstat (limited to 'scripts/lint-project-xml.py')
0 files changed, 0 insertions, 0 deletions