diff options
-rwxr-xr-x | scripts/install_copy_toolchain.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/install_copy_toolchain.sh b/scripts/install_copy_toolchain.sh index 5de2827e3..2e2616e9b 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}\" \"${strip}\"" >> "${STATEDIR}/${packet}.cmds" + echo "ptxd_install_file \"${lib_path}\" \"${prefix}/${lib}\" 0 0 \"${perm}\" \"${strip}\"" >> "${STATEDIR}/${packet}.cmds" fi else echo "error: found ${lib_path}, but neither file nor link" 2>&1 |