diff options
| author | Aleksandr Nogikh <nogikh@google.com> | 2023-05-24 18:15:06 +0200 |
|---|---|---|
| committer | Aleksandr Nogikh <wp32pw@gmail.com> | 2023-05-25 11:45:51 +0200 |
| commit | 0d9bcfef72eef7ccb5cf2320bbed5014385b59c2 (patch) | |
| tree | 90053114586019fae5d4ceaf86aa3f3d29d3f61b /executor/common_linux.h | |
| parent | f7e4c7256881bef31f5332d73c569a82cdd6cfbe (diff) | |
pkg/repro: retry on ExecProgInstance errors
Most of those errors seem to be transient, so there's no sense to fail
the whole C repro generation process.
Give it one more chance and only fail after that.
Diffstat (limited to 'executor/common_linux.h')
0 files changed, 0 insertions, 0 deletions