diff --git a/toolchain/setup_toolchain.sh b/toolchain/setup_toolchain.sh index 0273ceb..a26ee15 100755 --- a/toolchain/setup_toolchain.sh +++ b/toolchain/setup_toolchain.sh @@ -176,6 +176,9 @@ function configure_toolchain() { local current_path current_path="$(pwd)" while read -r file; do + if "${readelf}" -h "${file}" &>/dev/null; then + continue + fi sed -i "s|/opt/toolchain|${current_path}|g" "${file}" done < <( find . -type f -exec grep -E -I -l $'[=\'" ]/opt/toolchain' {} \;