diff options
| author | Linus Heckemann <git@sphalerite.org> | 2022-09-26 20:55:56 +0200 |
|---|---|---|
| committer | Linus Heckemann <git@sphalerite.org> | 2022-12-07 11:36:48 +0100 |
| commit | 8e0946e8df968391d1430af8377bdb51204e4666 (patch) | |
| tree | 3e3ad664591e72d47cbecd86c99beb09929a312c /Makefile | |
| parent | 54906bc93c0db36b03ac76b67594403261ffd377 (diff) | |
Remove repeat and enforce-determinism options
These only functioned if a very narrow combination of conditions held:
- The result path does not yet exist (--check did not result in
repeated builds), AND
- The result path is not available from any configured substituters, AND
- No remote builders that can build the path are available.
If any of these do not hold, a derivation would be built 0 or 1 times
regardless of the repeat option. Thus, remove it to avoid confusion.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions