Use SOURCE_DATE_EPOCH for the last revision time#12

Open

mhekkel wants to merge 1 commit intoboostorg:developfrom mhekkel:develop

+5-1

Commits on Sep 7, 2021

When the environmental variable SOURCE_DATE_EPOCH is set, use it as the date for the last modification of the source instead of the current time. (See: https://reproducible-builds.org/specs/source-…
mhekkel
committed