diff options
| author | Julian Andres Klode <jak@debian.org> | 2017-11-19 16:11:33 +0100 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2017-11-22 21:35:51 +0100 |
| commit | b85851e510bdf13cef770981f76a403bc20b12da (patch) | |
| tree | f723c22cdb78858c225de43b43ae93b6e651325a /git-clang-format.sh | |
| parent | dfb4c178b4f6a7db255cbc7dc2b162721d807b58 (diff) | |
tests: Improve handling profiling messages on CI
We did not strip away profiling messages when we were diffing
from stdin (-). Just always write temporary files and strip from
them.
We also had a problem when stripping ...profiling: from a line
and the next line starts with profiling. Split the sed into two
calls so we first remove complete profiling: lines before fixing
the ...profiling: cases.
Diffstat (limited to 'git-clang-format.sh')
0 files changed, 0 insertions, 0 deletions