diff options
| author | iTitou <moiandme@gmail.com> | 2021-01-20 10:33:40 +0100 |
|---|---|---|
| committer | iTitou <moiandme@gmail.com> | 2021-01-31 17:48:59 +0100 |
| commit | 4fb5f012c32a2ed394091039a7213472001a98c9 (patch) | |
| tree | 55c2f5ea860ecb1b5628465aad9e01c9af5a989a /docs/conf.py | |
| parent | ef9fde7339b12e17596966afb2b3d641ca5fcff2 (diff) | |
py/makeversionhdr: Honor SOURCE_DATE_EPOCH if present.
This environment variable, if defined during the build process,
indicates a fixed time that should be used in place of "now" when
such a time is explicitely referenced.
This allows for reproducible builds of micropython.
See https://reproducible-builds.org/specs/source-date-epoch/
Signed-off-by: iTitou <moiandme@gmail.com>
Diffstat (limited to 'docs/conf.py')
0 files changed, 0 insertions, 0 deletions