diff options
-rw-r--r-- | scripts/libmakepkg/tidy/strip.sh.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/libmakepkg/tidy/strip.sh.in b/scripts/libmakepkg/tidy/strip.sh.in index db359167..0b44004c 100644 --- a/scripts/libmakepkg/tidy/strip.sh.in +++ b/scripts/libmakepkg/tidy/strip.sh.in @@ -60,7 +60,7 @@ package_source_files() { file="${srcdir}/${t}" dest="${dbgsrc}/${t}" mkdir -p "${dest%/*}" - if [[ -f "$file" ]]; then + if [[ -f "$file" && ! -f "$dest" ]]; then cp -- "$file" "$dest" fi done < <(source_files "$binary") |