diff options
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( |