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/performance.txt | |
| 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/performance.txt')
0 files changed, 0 insertions, 0 deletions