From: Ethan A M. <me...@uw...> - 2020-06-30 23:56:17
|
On Tuesday, 30 June 2020 16:31:06 PDT Dima Kogan wrote: > Dima Kogan <gn...@di...> writes: > > > Ethan Merritt <eam...@gm...> writes: > > > >> If you are building from a snapshot, the correct date should be the > >> date of the snapshot. I don't know how to do that. Do you? > > > > This should be encoded in the snapshot in some way. > Looking at the patch, I think that we should generate the timestamp.h at > snapshot-building time, and the Makefile in the snapshot shouldn't ever > generate it or delete it. Reasonable? It sounds reasonable to me. This seems to be surprisingly tricky. Previous attempts did not work out. See commits: 9d0f148d d543154a Ethan |