[PATCH] Makefile: Fix POSIX grep alternation regex

[Igor Melnikov]

On Tue, Nov 12, 2024 at 12:13:14AM +0100, Andreas Schwab wrote:
 
> Alternatively, you can use multiple -e options.  This works even with
> traditional grep implementations.
 
This might be a bit more elegant. Should I re-submit the patch?