commit | ed9d3c980fd01af8306e15e3cbbcc1218a72a885 | [log] [tgz] |
---|---|---|
author | Matthias Maennich <maennich@google.com> | Thu Jan 16 16:36:07 2020 +0000 |
committer | Matthias Maennich <maennich@google.com> | Fri Jan 17 12:15:48 2020 +0000 |
tree | 24d3b6a383d8406cbc464b8f11d6fd090807345b | |
parent | b2e6e6d25f88f88f1d667f4494e189a6037d4b54 [diff] |
build.sh: add support for ADDITIONAL_KMI_WHITELISTS ADDITIONAL_KMI_WHITELISTS is a variable that can hold additional (secondary) ABI whitelists. They get appended to DIST_DIR whitelist and therefore are considered when build_abi.sh does the ABI analysis. Whitelists can be specified whitespace separated. Bug: 145721045 Change-Id: I1bbc698146d939a477d0701333e7a73dc477ae6f Signed-off-by: Matthias Maennich <maennich@google.com>