[tools/check] Combine grep/sed calls using "-e".#9225

tkoeppe wants to merge 2 commits into

cplusplus:maincplusplus/draft:mainfrom

tkoeppe:sub-etkoeppe/draft:sub-eCopy head branch name to clipboard