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>
2 files changed