13/06/2023 16:06, David Marchand: > + sed -ne > "s,$srcdir/examples/\([^/]*\)\(/.*\|\)/$target/Makefile,\1,p"
I think -e is not needed. If you use -r, you can avoid backslashing the parentheses.
13/06/2023 16:06, David Marchand: > + sed -ne > "s,$srcdir/examples/\([^/]*\)\(/.*\|\)/$target/Makefile,\1,p"
I think -e is not needed. If you use -r, you can avoid backslashing the parentheses.