From 899f4e5bf8ecc0864599503541002bf63907a2f2 Mon Sep 17 00:00:00 2001
From: MoonlightSentinel <moonlightsentinel@disroot.org>
Date: Wed, 27 Oct 2021 10:09:15 +0200
Subject: [PATCH] Switch to the new CodeCov uploader

Reuse the script introduced in dlang/dmd#13139
---
 .circleci/run.sh | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/.circleci/run.sh b/.circleci/run.sh
index 4d93f4e6e0e..67aade93e59 100755
--- a/.circleci/run.sh
+++ b/.circleci/run.sh
@@ -121,10 +121,7 @@ publictests()
 
 codecov()
 {
-    # CodeCov gets confused by lst files which it can't matched
-    rm -rf test/runnable/extra-files
-    download "https://codecov.io/bash" "https://raw.githubusercontent.com/codecov/codecov-bash/master/codecov" "codecov.sh"
-    bash codecov.sh
+    OS_NAME=linux source ../dmd/ci/codecov.sh
 }
 
 case $1 in