diff options
author | Jack Lloyd <[email protected]> | 2019-02-05 18:40:08 -0500 |
---|---|---|
committer | Jack Lloyd <[email protected]> | 2019-02-05 18:40:08 -0500 |
commit | 57042ce13cd0d6bbb79a1885221b488cc214c17a (patch) | |
tree | 7a380545f7885bf44f2414cc273ed08a481b28f8 /configure.py | |
parent | 52bf025fa4aaf4b55f8ad3673dfc47255aed0ea4 (diff) |
Shush pylint
Diffstat (limited to 'configure.py')
-rwxr-xr-x | configure.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/configure.py b/configure.py index c20327c42..8c921ba5f 100755 --- a/configure.py +++ b/configure.py @@ -1283,6 +1283,8 @@ class CompilerInfo(InfoObject): # pylint: disable=too-many-instance-attributes return self.lang_flags def cc_compile_flags(self, options, with_debug_info=None, enable_optimizations=None): + #pylint: disable=too-many-branches + def gen_flags(with_debug_info, enable_optimizations): sanitizers_enabled = options.with_sanitizers or (len(options.enable_sanitizers) > 0) |