On 09.07.2015 12:38, Daniel Kahn Gillmor wrote: > On Wed 2015-07-08 18:38:53 -0400, Patrick Brunschwig wrote: >> On 08.07.2015 11:41, Daniel Kahn Gillmor wrote: >>> If the environment variable $SOURCE_DATE_EPOCH is set, use that as the >>> build date. otherwise, use the current date. >>> >>> See https://wiki.debian.org/ReproducibleBuilds/TimestampsProposal for >>> rationale. >> >> Thanks Daniel, both changes are pushed. > > Thanks for the quick action here, Patrick. > > It looks like you missed this setting in ui/content/Makefile: > > SOURCE_DATE_EPOCH ?= $(shell date +%s) > > without that, if SOURCE_DATE_EPOCH isn't set, the file generation will > fail.
Yes, indeed. Pushed now. Thanks -Patrick _______________________________________________ enigmail-users mailing list [email protected] To unsubscribe or make changes to your subscription click here: https://admin.hostpoint.ch/mailman/listinfo/enigmail-users_enigmail.net
