On Tue, Jun 20, 2023 at 11:45 AM Thomas Monjalon <tho...@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
