diff options
| author |  Akshay Modi <nareshmodi@google.com> | 2018-06-18 09:57:19 -0700 |
|---|---|---|
| committer |  TensorFlower Gardener <gardener@tensorflow.org> | 2018-06-18 09:59:59 -0700 |
| commit | e80732c9895d1283af9b98d6277ad1a1015e2e9a (patch) | |
| tree | 14895657394f9cdfed8435460e37fe89a45ba599 /configure.py | |
| parent | 8ecf506fb8464dd273ce59f512f5e20d37dd5cfd (diff) | |
Merge changes from github.
PiperOrigin-RevId: 201011811
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 bde7af8c0e..ada342a50a 100644 --- a/configure.py +++ b/configure.py @@ -1397,6 +1397,10 @@ def set_grpc_build_flags(): write_to_bazelrc('build --define grpc_no_ares=true') +def set_build_strip_flag(): + write_to_bazelrc('build --strip=always') + + def set_windows_build_flags(): if is_windows(): # The non-monolithic build is not supported yet @@ -1519,6 +1523,7 @@ def main(): set_grpc_build_flags() set_cc_opt_flags(environ_cp) + set_build_strip_flag() set_windows_build_flags() if get_var( |