Update existing in osgi-install
authorMathieu Baudier <mbaudier@argeo.org>
Tue, 23 May 2023 09:46:22 +0000 (11:46 +0200)
committerMathieu Baudier <mbaudier@argeo.org>
Tue, 23 May 2023 09:46:22 +0000 (11:46 +0200)
src/org/argeo/build/Make.java

index 9b06aa8c2105749e9c033f4a9fda5f1503a53675..798e1ea8627758a5a6ba1ff08ed74e14f405e255 100644 (file)
@@ -20,6 +20,7 @@ import java.nio.file.Path;
 import java.nio.file.PathMatcher;
 import java.nio.file.Paths;
 import java.nio.file.SimpleFileVisitor;
+import java.nio.file.StandardCopyOption;
 import java.nio.file.attribute.BasicFileAttributes;
 import java.util.ArrayList;
 import java.util.Arrays;
@@ -362,7 +363,7 @@ public class Make {
                        } else { // install
                                Files.createDirectories(targetJarP.getParent());
                                boolean update = Files.exists(targetJarP);
-                               Files.copy(jarP, targetJarP);
+                               Files.copy(jarP, targetJarP, StandardCopyOption.REPLACE_EXISTING);
                                logger.log(DEBUG, (update ? "Updated " : "Installed ") + targetJarP);
                                count++;
                        }