| commit | 939193a1a1a32be63da48bb8acd7d689ced3eb98 | [log] [tgz] |
|---|---|---|
| author | Willy Tarreau <w@1wt.eu> | Thu Dec 06 15:49:27 2018 +0100 |
| committer | Willy Tarreau <w@1wt.eu> | Thu Dec 06 15:51:35 2018 +0100 |
| tree | 71841685fe2cbf64357532c5ff8c01175d547b6c | |
| parent | b582339079ed9a8c5ff104a6ad155193f727707a [diff] |
SCRIPTS/REGTEST: merge grep+sed into sed in run-regtests Some commands chain grep and sed while sed already does grep by default, let's simply use sed. In addition to being more intuitive, it saves up to 150ms per run on the 13 tests covered by level 4.