From 6a414961b80cf9c1285cedb61a66c0840b80e4e3 Mon Sep 17 00:00:00 2001
From: dolphin6k <shin1@wmail.plala.or.jp>
Date: Thu, 10 Feb 2022 20:02:08 +0900
Subject: [PATCH] Do not copy dll(s) if already exist.

---
 src/install-dlls.sh | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/src/install-dlls.sh b/src/install-dlls.sh
index 20726b773..8c8775389 100644
--- a/src/install-dlls.sh
+++ b/src/install-dlls.sh
@@ -6,9 +6,11 @@ find_depends(){
     dllname=`basename $dllpath`
     if ! grep -q $dllname dlllist; then
       echo $dllpath >> dlllist
-      echo -n .
-      cp $dllpath $DESTDIR/
-      find_depends $dllpath
+      if [ ! -f $DESTDIR/$dllname ]; then
+          echo -n .
+	  cp $dllpath $DESTDIR/
+	  find_depends $dllpath
+      fi
     fi
   done
 }