1 files changed, 0 insertions, 4 deletions
diff --git a/run_tests.sh b/run_tests.sh
index 2b6eda900..29e723c7f 100755
--- a/run_tests.sh
+++ b/run_tests.sh
@@ -127,10 +127,6 @@ function run_tests {
   fi
 
   if [ $coverage -eq 1 ]; then
-    # Do not test test_coverage_ext when gathering coverage.
-    if [ "x$testrargs" = "x" ]; then
-      testrargs="^(?!.*test.*coverage).*$"
-    fi
     TESTRTESTS="$TESTRTESTS --coverage"
   else
     TESTRTESTS="$TESTRTESTS --slowest"