diff options
author | Klaus Aehlig <aehlig@linta.de> | 2018-02-28 03:04:14 -0800 |
---|---|---|
committer | Copybara-Service <copybara-piper@google.com> | 2018-02-28 03:05:45 -0800 |
commit | 2065d30ab0fa2cf8cc4723bb86d073deb3334504 (patch) | |
tree | ec94fd1d3456b189f49f74e89cb988afa1d4107e /src/main/java | |
parent | 43fd34062f3e1a4eae57209e80aefadf00c1ade6 (diff) |
Fix additional direct use of the Bazel server
...by adding the new internal startup option --output_user_root.
Fixes #4730.
Change-Id: I7f976f4f99555f8068211aa138bab5de0330c06a
PiperOrigin-RevId: 187302221
Diffstat (limited to 'src/main/java')
-rw-r--r-- | src/main/java/com/google/devtools/build/lib/BUILD | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/BUILD b/src/main/java/com/google/devtools/build/lib/BUILD index 553c8f3907..433aacf7d6 100644 --- a/src/main/java/com/google/devtools/build/lib/BUILD +++ b/src/main/java/com/google/devtools/build/lib/BUILD @@ -1353,7 +1353,7 @@ genrule( "mkdir $${TMP}/_embedded_binaries/ && " + "$(location :bazel/BazelServer) " + "--jvm_flag=-Dio.bazel.EnableJni=0 --batch " + - "--install_base=$${TMP} --output_base=$${TMP}/output/ " + + "--install_base=$${TMP} --output_base=$${TMP}/output/ --output_user_root=$${TMP} " + "help everything-as-html >> $@ 2>/dev/null && " + "cat $(location //site:command-line-reference-suffix.html) >> $@" ), |