diff options
| -rwxr-xr-x | build.sh | 14 | ||||
| -rwxr-xr-x | build_abi.sh | 2 |
2 files changed, 15 insertions, 1 deletions
@@ -54,6 +54,11 @@ # LD # Override linker (flags) to be used. # +# ABI_DEFINITION +# Location of the abi definition file relative to <REPO_ROOT>/KERNEL_DIR +# If defined (usually in build.config), also copy that abi definition to +# <OUT_DIR>/dist/abi.out when creating the distribution. +# # Environment variables to influence the stages of the kernel build. # # SKIP_MRPROPER @@ -348,6 +353,15 @@ if [ -z "${SKIP_CP_KERNEL_HDR}" ] ; then popd fi +# Copy the abi_${arch}.out file from the sources into the dist dir +if [ -n "${ABI_DEFINITION}" ]; then + echo "========================================================" + echo " Copying abi definition to ${DIST_DIR}/abi.out" + pushd $ROOT_DIR/$KERNEL_DIR + cp "${ABI_DEFINITION}" ${DIST_DIR}/abi.out + popd +fi + echo "========================================================" echo " Files copied to ${DIST_DIR}" 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" |