Jochen Sprickerhof wrote:
> The attached patch fixes this.
>
> ++ BUILD_ID="`date -d @$SOURCE_DATE_EPOCH` $BUILD_USER"
^
I would suggest adding a -u here (and to the parallel change to
./configure), so that it is reproducible regardless of the
build timezone.
Regards,
--
,''`.
: :' : Chris Lamb
`. `'` [email protected] 🍥 chris-lamb.co.uk
`-
--
debian-science-maintainers mailing list
[email protected]
https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-science-maintainers
