diff options
| author | Who? Me?! <mark-i-m@users.noreply.github.com> | 2019-07-18 12:20:34 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-07-18 12:20:34 -0500 |
| commit | 1aa10797df9ef70bd08011811d6a822a7b58e1a3 (patch) | |
| tree | 282a2e7c86ead42215c8998f3b0a4569661220b3 /src/ci | |
| parent | 8940a27437f4243a27ff4def2de2590e901973b0 (diff) | |
| download | rust-1aa10797df9ef70bd08011811d6a822a7b58e1a3.tar.gz rust-1aa10797df9ef70bd08011811d6a822a7b58e1a3.zip | |
Update src/ci/docker/x86_64-gnu-tools/checkregression.py
Co-Authored-By: kennytm <kennytm@gmail.com>
Diffstat (limited to 'src/ci')
| -rwxr-xr-x | src/ci/docker/x86_64-gnu-tools/checkregression.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ci/docker/x86_64-gnu-tools/checkregression.py b/src/ci/docker/x86_64-gnu-tools/checkregression.py index 081beb932b2..72acb107405 100755 --- a/src/ci/docker/x86_64-gnu-tools/checkregression.py +++ b/src/ci/docker/x86_64-gnu-tools/checkregression.py @@ -35,7 +35,7 @@ if __name__ == '__main__': 'The state of "{}" has {} from "{}" to "{}"' .format(tool, verb, state, new_state) ) - if tool not in REGRESSION_OK: + if not (verb == 'regressed' and tool in REGRESSION_OK): regressed = True if regressed: |
