diff options
author | 2017-11-10 17:31:52 -0800 | |
---|---|---|
committer | 2017-11-10 17:31:52 -0800 | |
commit | 4d165c75c3880c20d698f5ba95c8d16ecc93cea7 (patch) | |
tree | 6a47c4218c503841af0f975c49e3d36e7f510bc7 /tools | |
parent | 054b515feec0a3fca4cfb1f29adbf423c9027c3a (diff) | |
parent | eabee43e39186d91956277a4fc8b0dd566a68e3b (diff) |
Merge remote-tracking branch 'staging/master' into pushsync
Diffstat (limited to 'tools')
-rw-r--r-- | tools/bazel.rc | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/tools/bazel.rc b/tools/bazel.rc index f609efe188..2447acd70a 100644 --- a/tools/bazel.rc +++ b/tools/bazel.rc @@ -24,13 +24,5 @@ build --define=use_fast_cpp_protos=true build --define=allow_oversize_protos=true build --spawn_strategy=standalone -test --spawn_strategy=standalone -run --spawn_strategy=standalone - build --genrule_strategy=standalone -test --genrule_strategy=standalone -run --genrule_strategy=standalone - build -c opt -test -c opt -run -c opt |