aboutsummaryrefslogtreecommitdiffhomepage
path: root/configure.py
diff options
context:
space:
mode:
authorGravatar Jonathan Hseu <jhseu@google.com>2017-11-13 23:16:08 -0800
committerGravatar Jonathan Hseu <jhseu@google.com>2017-11-13 23:16:08 -0800
commitc4e416fac7a2711d7b81dd9634b1ec0b22ecadf6 (patch)
tree42d07a99eb6cfe2588a364d3d2283934940eeef6 /configure.py
parent7497fca0ab2e87b0a9194f99d421c2e78b30cb17 (diff)
parent2e57e3f4952efc955cafa86a17c3d2b101924a64 (diff)
Merge commit for internal changes
Diffstat (limited to 'configure.py')
-rw-r--r--configure.py5
1 files changed, 5 insertions, 0 deletions
diff --git a/configure.py b/configure.py
index 0864b6e64b..26da09bd94 100644
--- a/configure.py
+++ b/configure.py
@@ -998,6 +998,10 @@ def create_android_bazelrc_configs():
write_to_bazelrc('build:android_arm64 --cpu=arm64-v8a')
+def set_grpc_build_flags():
+ write_to_bazelrc('build --define grpc_no_ares=true')
+
+
def main():
# Make a copy of os.environ to be clear when functions and getting and setting
# environment variables.
@@ -1071,6 +1075,7 @@ def main():
set_mpi_home(environ_cp)
set_other_mpi_vars(environ_cp)
+ set_grpc_build_flags()
set_cc_opt_flags(environ_cp)
set_mkl()
set_monolithic()