diff options
| author | Bernhard M. Wiedemann | 2019-12-02 11:43:18 +0100 |
|---|---|---|
| committer | Bernhard M. Wiedemann | 2019-12-02 17:07:38 +0100 |
| commit | 80bd3766dd8f1729187ed9c8e0ad29f67cea0886 (patch) | |
| tree | b7c48e8e47e8920d45dad76022d0ea0bd933bc65 /dev/base_include | |
| parent | 003512ecebae24bd518155f5a92b851a8f9bcd08 (diff) | |
Allow to override build date with SOURCE_DATE_EPOCH
in order to make builds reproducible.
See https://reproducible-builds.org/ for why this is good
and https://reproducible-builds.org/specs/source-date-epoch/
for the definition of this variable.
Fixes #11037
Diffstat (limited to 'dev/base_include')
0 files changed, 0 insertions, 0 deletions