diff options
author | Michael Olbrich <m.olbrich@pengutronix.de> | 2016-05-31 08:37:08 +0200 |
---|---|---|
committer | Michael Olbrich <m.olbrich@pengutronix.de> | 2016-06-05 12:33:52 +0200 |
commit | a00bed0927b0434d3479e9141792895b75c37e85 (patch) | |
tree | 786c2b40101ec76d4af01aae0612baa4bec61d69 | |
parent | 539c23e921a1b228f1d3650d127a5b89fec9c12e (diff) | |
download | ptxdist-a00bed0927b0434d3479e9141792895b75c37e85.tar.gz ptxdist-a00bed0927b0434d3479e9141792895b75c37e85.tar.xz |
install_copy_toolchain_lib: don't ignore strip argument
Signed-off-by: Michael Olbrich <m.olbrich@pengutronix.de>
-rwxr-xr-x | scripts/install_copy_toolchain.sh | 2 | ||||
-rw-r--r-- | scripts/lib/ptxd_make_xpkg_pkg.sh | 3 |
2 files changed, 3 insertions, 2 deletions
diff --git a/scripts/install_copy_toolchain.sh b/scripts/install_copy_toolchain.sh index 0000adccf..5de2827e3 100755 --- a/scripts/install_copy_toolchain.sh +++ b/scripts/install_copy_toolchain.sh @@ -170,7 +170,7 @@ ptxd_install_toolchain_lib() { perm="$(stat -c %a "${lib_path}")" - echo "ptxd_install_shared \"${lib_path}\" \"${prefix}\" 0 0 \"${perm}\"" >> "${STATEDIR}/${packet}.cmds" + echo "ptxd_install_shared \"${lib_path}\" \"${prefix}\" 0 0 \"${perm}\" \"${strip}\"" >> "${STATEDIR}/${packet}.cmds" fi else echo "error: found ${lib_path}, but neither file nor link" 2>&1 diff --git a/scripts/lib/ptxd_make_xpkg_pkg.sh b/scripts/lib/ptxd_make_xpkg_pkg.sh index c9f7d5526..51bd85f1d 100644 --- a/scripts/lib/ptxd_make_xpkg_pkg.sh +++ b/scripts/lib/ptxd_make_xpkg_pkg.sh @@ -770,9 +770,10 @@ ptxd_install_shared() { local usr="$3" local grp="$4" local mod="$5" + local strip="${6:-y}" local filename="$(basename "${src}")" - ptxd_install_file "${src}" "${dst}/${filename}" "${usr}" "${grp}" "${mod}" "y" && + ptxd_install_file "${src}" "${dst}/${filename}" "${usr}" "${grp}" "${mod}" "${strip}" && find -H "$(dirname "${src}")" -maxdepth 1 -type l | while read file; do if [ "$(basename "$(readlink -f "${file}")")" = "${filename}" ]; then |