org.eclipse.jgit.http.server/BUILD


1
2
3
4
5
6
7
8
9
10
11
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',
  ],
)