diff options
Diffstat (limited to 'org.eclipse.jgit.http.server')
| -rw-r--r-- | org.eclipse.jgit.http.server/BUILD | 19 |
1 files changed, 10 insertions, 9 deletions
diff --git a/org.eclipse.jgit.http.server/BUILD b/org.eclipse.jgit.http.server/BUILD index 88dc8040bf..19992086bd 100644 --- a/org.eclipse.jgit.http.server/BUILD +++ b/org.eclipse.jgit.http.server/BUILD @@ -1,12 +1,13 @@ -package(default_visibility = ['//visibility:public']) +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', - ], + name = "jgit-servlet", + srcs = glob(["src/**"]), + resource_strip_prefix = "org.eclipse.jgit.http.server/resources", + resources = glob(["resources/**"]), + deps = [ + # We want these deps to be provided_deps + "//org.eclipse.jgit:jgit", + "@servlet_api_3_1//jar", + ], ) |