Thanks. Probably something like this would be slightly cleaner than stat | cut: date -u -r $FILE +"%Y-%m-%d" Of course, what you have works, so that's a reason not to change it.
On Thu, Sep 18, 2025 at 1:59 PM Friedrich Beckmann < [email protected]> wrote: > I also added UTC. Here is the build script: > > https://github.com/fredowski/pspp-buildbot/blob/master/win/buildpspp-win.sh > > > > Am 18.09.2025 um 21:57 schrieb Ben Pfaff <[email protected]>: > > > > I was just using the current date at build time. That should usually be > correct but I can make it correct more often if I use the modification > time. > > > > I'll make it use UTC, since time zone matters for this. > > > >
