diff options
author | Jakob Unterwurzacher | 2017-09-06 21:41:22 +0200 |
---|---|---|
committer | Jakob Unterwurzacher | 2017-09-06 21:41:22 +0200 |
commit | 830cbb7218d61467c011fd5e9d4751e1529677e4 (patch) | |
tree | 72bd7cfc2a3c9ab4ddb0554006f666b0caaa7a8e /Documentation/SECURITY.md | |
parent | 512be8f081d2cc2afc778a2dcf5447647de2bbea (diff) |
build.bash: make reproduceable builds easier
* Reduce the build time precision from seconds to days
* Allow to specify an arbitrary build date through an
env variable
Diffstat (limited to 'Documentation/SECURITY.md')
0 files changed, 0 insertions, 0 deletions