diff options
author | Dave Borowitz <dborowitz@google.com> | 2018-08-07 08:51:30 -0700 |
---|---|---|
committer | Dave Borowitz <dborowitz@google.com> | 2018-08-07 08:53:18 -0700 |
commit | 070b20504ed7fa4bf3276db490a9e34d8b605885 (patch) | |
tree | 080b488894b1769a59f77f4b6a1bb005d4d7b8e5 /resources | |
parent | de3e936507e3e19407d08f04b86dbf13feecae91 (diff) |
Move ProtoGen out of gerrit.war
Putting this in the WAR dated back to the Maven days, when adding new
binary build targets was prohibitively expensive. Nobody using a
distributed gerrit.war, as opposed to building locally, actually needs
to run this binary.
This binary has a very thin dependency stack and can build in just a few
seconds, rather than having to build all of the server target, JS
bundles, and other slow pieces of gerrit.war just to generate a proto
file.
Change-Id: If6e7d981bdd57b11536ffe990d11789afd232a46
Diffstat (limited to 'resources')
-rw-r--r-- | resources/com/google/gerrit/proto/BUILD | 8 | ||||
-rw-r--r-- | resources/com/google/gerrit/proto/ProtoGenHeader.txt (renamed from resources/com/google/gerrit/pgm/ProtoGenHeader.txt) | 0 |
2 files changed, 8 insertions, 0 deletions
diff --git a/resources/com/google/gerrit/proto/BUILD b/resources/com/google/gerrit/proto/BUILD new file mode 100644 index 0000000000..ec2e05cf2a --- /dev/null +++ b/resources/com/google/gerrit/proto/BUILD @@ -0,0 +1,8 @@ +filegroup( + name = "proto", + srcs = glob( + ["**/*"], + exclude = ["BUILD"], + ), + visibility = ["//visibility:public"], +) diff --git a/resources/com/google/gerrit/pgm/ProtoGenHeader.txt b/resources/com/google/gerrit/proto/ProtoGenHeader.txt index a380955481..a380955481 100644 --- a/resources/com/google/gerrit/pgm/ProtoGenHeader.txt +++ b/resources/com/google/gerrit/proto/ProtoGenHeader.txt |