Re: [PATCH] rust: Use grep -Ev rather than relying on GNU grep

From: Miguel Ojeda
Date: Sun Oct 15 2023 - 16:05:51 EST


On Thu, Sep 28, 2023 at 10:14 PM Matthew Maurer <mmaurer@xxxxxxxxxx> wrote:
>
> While GNU grep supports '\|' when in basic regular expression mode, not
> all grep implementations do (notably toybox grep, used to build the
> Android kernel, does not). Switching to grep -Ev enables extended
> regular expresions which includes support for the '|' operator.
>
> Signed-off-by: Matthew Maurer <mmaurer@xxxxxxxxxx>

Applied to `rust-next` (with typo fixed) -- thanks everyone!

Cheers,
Miguel