Yours is nicer. So I changed it.
> Am 18.09.2025 um 23:05 schrieb Ben Pfaff <[email protected]>:
>
> 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.
> >
>
