diff options
| author | Matthias Maennich <maennich@google.com> | 2019-05-29 09:05:38 +0100 |
|---|---|---|
| committer | Matthias Maennich <maennich@google.com> | 2019-05-29 09:05:38 +0100 |
| commit | d46fd323ff305a7ef638a4ea0d4c9164b4c31115 (patch) | |
| tree | 4405a08cefb0bf5b0b48202b3335d6828c30e3eb /build_abi.sh | |
| parent | edbc774f1eed80d3dd1a386f92a4d1e6e0dd95f6 (diff) | |
ABI out: Use the extension .xml rather then .out
Update all relevant locations including the documentation.
Bug: 133501930
Change-Id: I3cf207de381b248400c411730ac4890a3b1e3940
Signed-off-by: Matthias Maennich <maennich@google.com>
Diffstat (limited to 'build_abi.sh')
| -rwxr-xr-x | build_abi.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/build_abi.sh b/build_abi.sh index 39aaa1b..01e6e25 100755 --- a/build_abi.sh +++ b/build_abi.sh @@ -58,12 +58,12 @@ echo " Creating ABI dump" # create abi dump COMMON_OUT_DIR=$(readlink -m ${OUT_DIR:-${ROOT_DIR}/out/${BRANCH}}) id=${ABI_OUT_TAG:-$(git -C $KERNEL_DIR describe --dirty --always)} -abi_out_file=abi-${id}.out +abi_out_file=abi-${id}.xml ${ROOT_DIR}/build/abi/dump_abi \ --linux-tree $OUT_DIR \ --out-file ${DIST_DIR}/${abi_out_file} -ln -sf ${abi_out_file} ${DIST_DIR}/abi.out +ln -sf ${abi_out_file} ${DIST_DIR}/abi.xml echo "========================================================" echo " ABI dump has been created at ${DIST_DIR}/${abi_out_file}" |