diff options
| -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 |