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
