[PATCH v2 3/4] devtools: build all examples externally

[David Marchand]

On Tue, Jun 20, 2023 at 11:45 AM Thomas Monjalon <thomas at monjalon.net> wrote:
>
> 13/06/2023 16:06, David Marchand:
> > +             sed -ne "s,$srcdir/examples/\([^/]*\)\(/.*\|\)/$target/Makefile,\1,p"
>
> I think -e is not needed.

Indeed.

> If you use -r, you can avoid backslashing the parentheses.

-r is not a posix option.


-- 
David Marchand