diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/ptxdist | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/bin/ptxdist b/bin/ptxdist index 931061efc..1c473809f 100755 --- a/bin/ptxdist +++ b/bin/ptxdist @@ -804,10 +804,16 @@ check_compiler() { done for tool in "${toolchain}/${compiler_prefix}"* ; do local toolname="$(basename "${tool}")" - if [ ! -e "${wrapper_dir}/${toolname}" ]; then + if [ -h "${wrapper_dir}/${toolname}" ]; then ptxd_replace_link "${tool}" "${wrapper_dir}/${toolname}" fi done && + for tool in "${wrapper_dir}/${compiler_prefix}"* ; do + local toolname="$(basename "${tool}")" + if [ -e "${tool}" -a ! -e "${toolchain}/${toolname}" ]; then + rm -f "${tool}" + fi + done && PATH="${wrapper_dir}:${PATH}" && check_compiler_icecc } |