diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2018-09-07T15·08+0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2018-09-07T15·08+0200 |
| commit | bba3f0a308cceb56bad4aa1efe13927360ae463f (patch) | |
| tree | 7c778faa9df588ff0b232f37d0ca797ab8f25daa /Makefile | |
| parent | 33c3f91885429b60cab551e761f297a640aff7d5 (diff) | |
If fallback is enabled, temporarily disable substituters after a failure
Otherwise, we just keep asking the substituter for other .narinfo files, which can take a very long time due to retries/timeouts.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions