diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2023-03-15 10:33:02 +0100 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2023-03-15 10:59:10 +0100 |
| commit | cb28e4fe2a552000272793e248ea3f6a69d625d6 (patch) | |
| tree | d157ffeadaa76bef146f889645dab12ae5f364a9 /mk | |
| parent | c536e00c9deeac58bc4b3299dbc702604c32adbe (diff) | |
Remove "unexpected EOF" retry hack
Diffstat (limited to 'mk')
| -rwxr-xr-x | mk/run-test.sh | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/mk/run-test.sh b/mk/run-test.sh index 305396c11..1a1d65930 100755 --- a/mk/run-test.sh +++ b/mk/run-test.sh @@ -27,18 +27,6 @@ run_test () { run_test -# Hack: Retry the test if it fails with “unexpected EOF reading a line” as these -# appear randomly without anyone knowing why. -# See https://github.com/NixOS/nix/issues/3605 for more info -if [[ $status -ne 0 && $status -ne 99 && \ - "$(uname)" == "Darwin" && \ - "$log" =~ "unexpected EOF reading a line" \ -]]; then - echo "$post_run_msg [${yellow}FAIL$normal] (possibly flaky, so will be retried)" - echo "$log" | sed 's/^/ /' - run_test -fi - if [ $status -eq 0 ]; then echo "$post_run_msg [${green}PASS$normal]" elif [ $status -eq 99 ]; then |