diff options
author | Sami Kama <skama@nvidia.com> | 2018-06-19 20:14:49 -0700 |
---|---|---|
committer | Sami Kama <skama@nvidia.com> | 2018-06-19 20:14:49 -0700 |
commit | 303ad054d555891be25aa9a6e8d63719327f09c3 (patch) | |
tree | 8ef1a4e05d4697d860f7edf3bebc92235e6d69e0 /configure.py | |
parent | 1425e2ca44048ff42b5b04820b369d536b15e9d4 (diff) |
Use != instead of not ==
Diffstat (limited to 'configure.py')
-rw-r--r-- | configure.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.py b/configure.py index 2f04a47ee9..708b2dfea9 100644 --- a/configure.py +++ b/configure.py @@ -1523,7 +1523,7 @@ def main(): set_grpc_build_flags() set_cc_opt_flags(environ_cp) - if not environ_cp.get("BAZEL_STRIP") == "0": + if environ_cp.get("BAZEL_STRIP") != "0": set_build_strip_flag() set_windows_build_flags() |