diff options
| author | Luca Milanesio <luca.milanesio@gmail.com> | 2019-06-10 10:01:02 +0100 |
|---|---|---|
| committer | Luca Milanesio <luca.milanesio@gmail.com> | 2019-06-10 10:02:01 +0100 |
| commit | 5bd7b9bc21a5ef1509b577d419f404d67a0aa764 (patch) | |
| tree | 9388487708b809d67e5823bea3a68d2bd903758a | |
| parent | 85643421de332e382fa6f0057a25324651e31229 (diff) | |
Change bazel-genfiles to bazel-bin as per Bazel 0.25
In Bazel 0.25, the bazel-genfiles isn't used anymore as target
directory. Everything, including plugins, is generated into bazel-bin.
Change-Id: I9521cd7e572ece855cfa79841fcd0b066857fe04
| -rw-r--r-- | Documentation/dev-bazel.txt | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Documentation/dev-bazel.txt b/Documentation/dev-bazel.txt index 37ed9ac2da..3cbb60927c 100644 --- a/Documentation/dev-bazel.txt +++ b/Documentation/dev-bazel.txt @@ -75,7 +75,7 @@ The output archive that contains Java binaries, Java sources and Java docs will be placed in: ---- - bazel-genfiles/api.zip + bazel-bin/api.zip ---- Install {extension,plugin,gwt}-api to the local maven repository: @@ -99,13 +99,13 @@ Install gerrit.war to the local maven repository: The output JAR files for individual plugins will be placed in: ---- - bazel-genfiles/plugins/<name>/<name>.jar + bazel-bin/plugins/<name>/<name>.jar ---- The JAR files will also be packaged in: ---- - bazel-genfiles/plugins/core.zip + bazel-bin/plugins/core.zip ---- To build a specific plugin: @@ -117,7 +117,7 @@ To build a specific plugin: The output JAR file will be be placed in: ---- - bazel-genfiles/plugins/<name>/<name>.jar + bazel-bin/plugins/<name>/<name>.jar ---- Note that when building an individual plugin, the `core.zip` package |