diff options
| author | Ivan Frade <ifrade@google.com> | 2024-12-19 23:43:47 +0000 |
|---|---|---|
| committer | Gerrit Code Review <support@gerrithub.io> | 2024-12-19 23:43:47 +0000 |
| commit | 9326f7570d63973706aa64c411d5bb6669af872e (patch) | |
| tree | 964e828da7b7253afe43beecbe266aeb2a2e2b38 | |
| parent | 120f22a5dca51a57781236ef5abd42a6d4aeba19 (diff) | |
| parent | 31db36bbea6d081c8714a4c7ed3f5d81112ae8b8 (diff) | |
| download | jgit-9326f7570d63973706aa64c411d5bb6669af872e.tar.gz jgit-9326f7570d63973706aa64c411d5bb6669af872e.zip | |
Merge "http.server/BUILD: expose servlet resources as target"
| -rw-r--r-- | org.eclipse.jgit.http.server/BUILD | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/org.eclipse.jgit.http.server/BUILD b/org.eclipse.jgit.http.server/BUILD index f8aa44db94..a0dae488b8 100644 --- a/org.eclipse.jgit.http.server/BUILD +++ b/org.eclipse.jgit.http.server/BUILD @@ -2,11 +2,16 @@ load("@rules_java//java:defs.bzl", "java_library") package(default_visibility = ["//visibility:public"]) +filegroup( + name = "jgit-servlet-resources", + srcs = glob(["resources/**"]), +) + java_library( name = "jgit-servlet", srcs = glob(["src/**/*.java"]), resource_strip_prefix = "org.eclipse.jgit.http.server/resources", - resources = glob(["resources/**"]), + resources = [":jgit-servlet-resources"], deps = [ "//lib:servlet-api", # We want these deps to be provided_deps |