diff options
author | Sami Kama <skama@nvidia.com> | 2018-06-13 19:55:45 -0700 |
---|---|---|
committer | Sami Kama <skama@nvidia.com> | 2018-06-13 19:55:45 -0700 |
commit | 06eb148ba2550c405cd950d935f1394a1723487f (patch) | |
tree | d0e2805466a0cfecfe313dce1a84bc61f3aa223e /configure.py | |
parent | 3e16768d63f43864c724745f91f5b92d83032a75 (diff) |
Make it possible to disable bazel symbol stripping
Diffstat (limited to 'configure.py')
-rw-r--r-- | configure.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/configure.py b/configure.py index ada342a50a..de71377781 100644 --- a/configure.py +++ b/configure.py @@ -1523,7 +1523,8 @@ def main(): set_grpc_build_flags() set_cc_opt_flags(environ_cp) - set_build_strip_flag() + if "BAZEL_NO_STRIP" not in environ_cp: + set_build_strip_flag() set_windows_build_flags() if get_var( |