From cb28e4fe2a552000272793e248ea3f6a69d625d6 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <edolstra@gmail.com>
Date: Wed, 15 Mar 2023 10:33:02 +0100
Subject: [PATCH] Remove "unexpected EOF" retry hack

---
 mk/run-test.sh | 12 ------------
 1 file changed, 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