diff options
| author |  Sami Kama <samikama@users.noreply.github.com> | 2018-08-14 18:01:33 -0700 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2018-08-14 18:01:33 -0700 |
| commit | 603b4b66b075eec7f1127ce8144dfa252a87bb47 (patch) | |
| tree | 7b29d09e97ea228e74950fcd07c341b705dc21d2 /configure.py | |
| parent | 4e368d7143757113d9c4d7e943be80fa5283d5e4 (diff) | |
Remove set_build_strip_flag
Diffstat (limited to 'configure.py')
| -rw-r--r-- | configure.py | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/configure.py b/configure.py index 023d317c67..79293d18e6 100644 --- a/configure.py +++ b/configure.py @@ -1399,10 +1399,6 @@ 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(environ_cp): """Set Windows specific build options.""" # The non-monolithic build is not supported yet |