Re: [bug-gnulib] [PATCH] small cleanup of gnulib-tool

[Paul Eggert]

Stepan Kasal <address@hidden> writes:

> oh, so I would need
>       sed -e 's,lib\(_[A-Z][A-Z]*\),'"${libname}_${libext}"'\1,g'
>
> I have verified that modules/* doesn't contain any occurence of
> lib_SOMETHING which would be broken by this.
>
> Should I list the letters?  Is gnulib-tool supposed to run on EBCDIC hosts?

No, it's a maintainer tool, so I wouldn't worry about EBCDIC.

I put the _ outside the \(...\) for clarity, and installed the change.
Thanks.