diff options
Diffstat (limited to 'org.eclipse.jgit.http.server')
| -rw-r--r-- | org.eclipse.jgit.http.server/BUILD | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/org.eclipse.jgit.http.server/BUILD b/org.eclipse.jgit.http.server/BUILD new file mode 100644 index 0000000000..88dc8040bf --- /dev/null +++ b/org.eclipse.jgit.http.server/BUILD @@ -0,0 +1,12 @@ +package(default_visibility = ['//visibility:public']) + +java_library( + name = 'jgit-servlet', + srcs = glob(['src/**']), + resources = glob(['resources/**']), + resource_strip_prefix = 'org.eclipse.jgit.http.server/resources', + deps = [ # We want these deps to be provided_deps + '//org.eclipse.jgit:jgit', + '@servlet_api_3_1//jar', + ], +) |