| a666d1c4dec21cbf22a0b1a9c55dcea2877f9a7b |
|
01-Oct-2011 |
David 'Digit' Turner <digit@google.com> |
dev-platform-compress.sh: new script
Introduces a new script that can do the opposite of
dev-platform-expand-all.sh, which is to compress the content of
/tmp/ndk-$USER/platforms into /tmp/ndk-$USER/platforms-compressed
This ensures that if two successive platforms to define the same
header or symbol list, only the first is copied to the destination.
You would typically use this script, then compare the content of
/tmp/ndk-$USER/platforms-compressed with the one of
$TOP/development/ndk/platforms to check what has changed.
Change-Id: Id277f786789a2b2395259e0f392d3e9975526197
|