Re: gnulib-tool.py: Follow gnulib-tool changes, part 59.

[Bruno Haible]

Collin Funk wrote:
> This patch just modifies the timestamp of 'config.h.in' after
> executing 'autoheader'.
> 
> I've used the Pathlib touch function which I will admit looks a bit
> strange [1]. I've tested it and it should update the timestamps
> properly though.

Thanks! Applied.

I see nothing wrong with Path.touch() either.

> I don't think we can use it to
> call 'autoheader && touch config.h.in'.

Yes, it's simpler to implement the '&&' logic in Python rather than to
spawn a /bin/sh.

Bruno