diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2016-12-07T12·16+0100 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2016-12-07T12·16+0100 |
commit | 8bdf83f936adae6f2c907a6d2541e80d4120f051 (patch) | |
tree | 17b49383bec8578c307ed3e47fe27db24c3f4171 /doc/manual/figures/user-environments.sxd | |
parent | ceeedb58d23950f0ae3944484bca331e5cbb8053 (diff) |
Add an option to make non-determinism non-fatal
That is, when build-repeat > 0, and the output of two rounds differ, then print a warning rather than fail the build. This is primarily to let Hydra check reproducibility of all packages.
Diffstat (limited to 'doc/manual/figures/user-environments.sxd')
0 files changed, 0 insertions, 0 deletions