Re: [PATCH v2 6/7] contrib: use grep -E instead of egrep

On Mon, 27 Jun 2022 at 07:12, Xi Ruoyao wrote: > > egrep has been deprecated in favor of grep -E for a long time, and the > next grep release (3.8 or 4.0) will print a warning of egrep is used. > Stop using egrep so we won't see the warning. > > Some non-POSIX grep implementations does not support

[PATCH v2 6/7] contrib: use grep -E instead of egrep

egrep has been deprecated in favor of grep -E for a long time, and the next grep release (3.8 or 4.0) will print a warning of egrep is used. Stop using egrep so we won't see the warning. Some non-POSIX grep implementations does not support -E option, so for test_summary and warn_summary we prefer