diff options
author | Jonathan Hseu <jhseu@google.com> | 2017-11-13 23:16:08 -0800 |
---|---|---|
committer | Jonathan Hseu <jhseu@google.com> | 2017-11-13 23:16:08 -0800 |
commit | c4e416fac7a2711d7b81dd9634b1ec0b22ecadf6 (patch) | |
tree | 42d07a99eb6cfe2588a364d3d2283934940eeef6 /configure.py | |
parent | 7497fca0ab2e87b0a9194f99d421c2e78b30cb17 (diff) | |
parent | 2e57e3f4952efc955cafa86a17c3d2b101924a64 (diff) |
Merge commit for internal changes
Diffstat (limited to 'configure.py')
-rw-r--r-- | configure.py | 5 |
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() |