On Tue, Jun 20, 2023 at 11:45 AM Thomas Monjalon <[email protected]> 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

