diff options
| author | Jack Lloyd <[email protected]> | 2017-09-16 16:01:31 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2017-09-16 16:01:31 -0400 |
| commit | 9a7d09ee2b026b0819cad09c8ec4f690d62c1c4e (patch) | |
| tree | 49a025e56e2385ce8756d7bcb979a7bf196df463 /src | |
| parent | a191db93bcac4c5ce30936c5139daf76c5ac8c60 (diff) | |
Fix compare
Diffstat (limited to 'src')
| -rwxr-xr-x | src/scripts/ci_build.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/scripts/ci_build.py b/src/scripts/ci_build.py index cd95e7a53..067dc2d62 100755 --- a/src/scripts/ci_build.py +++ b/src/scripts/ci_build.py @@ -281,7 +281,7 @@ def have_prog(prog): def main(args=None): # pylint: disable=too-many-branches,too-many-statements,too-many-locals - if os.getenv('COVERITY_SCAN_BRANCH') is not None: + if os.getenv('COVERITY_SCAN_BRANCH') == '1': print('Skipping build COVERITY_SCAN_BRANCH set in environment') return 0 |