contrib/coverage-diff: avoid redundant pipelines
commitf70bc702e52796933cafa30dde54fe3c07aa2e81
authorBeat Bolli <bb@drbeat.li>
Fri, 15 Mar 2024 19:46:18 +0000 (15 20:46 +0100)
committerJunio C Hamano <gitster@pobox.com>
Sat, 16 Mar 2024 18:08:57 +0000 (16 11:08 -0700)
treefc15e2dd50e9d9c0ec23877227711ddab6db46d7
parentbabf0b89b383116c9b7aee5a2c3dee3ae1237d65
contrib/coverage-diff: avoid redundant pipelines

Merge multiple sed and "grep | awk" invocations, finally use "sort -u"
instead of "sort | uniq".

Signed-off-by: Beat Bolli <dev+git@drbeat.li>
Acked-by: Taylor Blau <me@ttaylorr.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
contrib/coverage-diff.sh