Re: [patch] Fix build when source directory includes @ character

[Richard Sandiford via Gcc-patches]

FX via Gcc-patches <gcc-patches@gcc.gnu.org> writes:
> Here is an updated patch, that quotes all three makeinfo special characters: 
> @ { }
> Tested on a build with source directory /tmp/foo@bar{gee}qux
>
> OK to commit?
>
> diff --git a/gcc/Makefile.in b/gcc/Makefile.in
> index 7b94497b6f2..978a08f7b04 100644
> --- a/gcc/Makefile.in
> +++ b/gcc/Makefile.in
> @@ -3286,7 +3286,7 @@ gcc-vers.texi: $(BASEVER) $(DEVPHASE)
>        then echo "@set DEVELOPMENT"; \
>        else echo "@clear DEVELOPMENT"; \
>        fi) > $@T
> -     $(build_file_translate) echo @set srcdir $(abs_srcdir) >> $@T
> +     $(build_file_translate) echo @set srcdir `echo $(abs_srcdir) | sed -e 
> 's|\\([@{}]\\)|@\\1|g'` >> $@T
>       if [ -n "$(PKGVERSION)" ]; then \
>         echo "@set VERSION_PACKAGE $(PKGVERSION)" >> $@T; \
>       fi

OK, thanks.  I guess:

  sed 's|[@{}]|@&|g'

would work too, but I don't know which is more portable.

Richard