Re: gnulib-tool.py: Make temporary directories recognizable.

[Bruno Haible]

Collin Funk wrote:
> This patch prefixes temporary directories created by gnulib-tool.py
> with "glpy". gnulib-tool.sh uses the 'gl' prefix in func_tmpdir, and I
> suppose it is beneficial to differentiate the two.

Thanks, applied.

Bruno