diff options
| author | Matthias Maennich <maennich@google.com> | 2019-05-28 12:26:58 +0100 |
|---|---|---|
| committer | Matthias Maennich <maennich@google.com> | 2019-05-28 12:26:58 +0100 |
| commit | 44509b0d71d0d2684dafed790f1b37b924858484 (patch) | |
| tree | 88ef4cb05d89e1c8b5b56cdb2154e8099c2c0531 /build_abi.sh | |
| parent | c49450815567d6d42076e34e60fac82e348b4284 (diff) | |
build.sh: add option to define abi definition location
If ABI_DEFINITION is set (usually within a build.config file), make
build.sh copy it over to the distribution. Since it is copied from the
sources it might not match the actual ABI of the binaries that are part
of the distribution. Finding this difference is subject to tests /
analysis run against the distribution for now. And making this file part
of the distribution actually enables this kind of analysis.
In case we are running build.sh as part of build_abi.sh, disable this
functionality as we are supposed to generate the abi definition in this
case.
Bug: 133501930
Change-Id: Idd49161a311b0e8995108a875f0c46d61965a2d7
Signed-off-by: Matthias Maennich <maennich@google.com>
Diffstat (limited to 'build_abi.sh')
| -rwxr-xr-x | build_abi.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build_abi.sh b/build_abi.sh index 792861d..39aaa1b 100755 --- a/build_abi.sh +++ b/build_abi.sh @@ -50,7 +50,7 @@ then fi # delegate the actual build to build.sh -${ROOT_DIR}/build/build.sh $* +ABI_DEFINITION= ${ROOT_DIR}/build/build.sh $* echo "========================================================" echo " Creating ABI dump" |