Do not include .js source directories
authorMathieu Baudier <mbaudier@argeo.org>
Tue, 29 Aug 2023 08:13:20 +0000 (10:13 +0200)
committerMathieu Baudier <mbaudier@argeo.org>
Tue, 29 Aug 2023 08:13:20 +0000 (10:13 +0200)
src/org/argeo/build/Make.java

index 798e1ea8627758a5a6ba1ff08ed74e14f405e255..9c57abe15c47e604005e70752c6c0e23c76ac7ed 100644 (file)
@@ -513,6 +513,10 @@ public class Make {
                                        if (file.getFileName().toString().endsWith(".java")
                                                        || file.getFileName().toString().endsWith(".class"))
                                                return FileVisitResult.CONTINUE;
+                                       // skip directories ending with .js
+                                       // TODO find something more robust?
+                                       if (Files.isDirectory(file) && file.getFileName().endsWith(".js"))
+                                               return FileVisitResult.SKIP_SUBTREE;
                                        jarOut.putNextEntry(new JarEntry(srcP.relativize(file).toString()));
                                        if (!Files.isDirectory(file))
                                                Files.copy(file, jarOut);