diff options
| -rwxr-xr-x | remote/setup_tools | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/remote/setup_tools b/remote/setup_tools index 4e118a18..722dba58 100755 --- a/remote/setup_tools +++ b/remote/setup_tools @@ -82,6 +82,7 @@ copyfileswithdependencies () { pdebug "\tFound ${FILENAME} at ${FILE}" fi for FILE in $FINAL_LIST; do + strip $FILE || pwarning "Could not strip '${FILE}'" get_link_chain "${TOOL_DIR}/${TOOL}/build/${FILE}" "${TOOL_DIR}/${TOOL}/build" >> "${COPYFILES_LIST}" get_dynamic_dependencies -l "${TOOL_DIR}/${TOOL}/build" "${FILE}" >> "${COPYFILES_LIST}" done @@ -93,6 +94,7 @@ copyfileswithdependencies () { for LOCATION in $(find . -name ${LIB}.so\*) do pdebug "* $LOCATION" + strip $LOCATION || pwarning "Could not strip '${LOCATION}'" get_link_chain "${TOOL_DIR}/${TOOL}/build/${LOCATION}" "${TOOL_DIR}/${TOOL}/build" >> "${COPYFILES_LIST}" get_dynamic_dependencies -l "${TOOL_DIR}/${TOOL}/build" "${LOCATION}" >> "${COPYFILES_LIST}" done |