From c3db42061f64ac832ef7b9a86b01b6f1b04c2601 Mon Sep 17 00:00:00 2001 From: Mathieu Baudier Date: Tue, 29 Aug 2023 10:13:20 +0200 Subject: [PATCH] Do not include .js source directories --- src/org/argeo/build/Make.java | 4 ++++ 1 file changed, 4 insertions(+) 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); -- 2.30.2