From: Mathieu Baudier Date: Tue, 29 Aug 2023 08:13:20 +0000 (+0200) Subject: Do not include .js source directories X-Git-Tag: v2.3.8~28 X-Git-Url: https://git.argeo.org/?p=cc0%2Fargeo-build.git;a=commitdiff_plain;h=c3db42061f64ac832ef7b9a86b01b6f1b04c2601 Do not include .js source directories --- diff --git a/src/org/argeo/build/Make.java b/src/org/argeo/build/Make.java index 798e1ea..9c57abe 100644 --- a/src/org/argeo/build/Make.java +++ b/src/org/argeo/build/Make.java @@ -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);