From 8484c678490b3eb46cf82c2a2e65871f85647fbf Mon Sep 17 00:00:00 2001 From: Matthias Maier Date: Wed, 16 May 2018 15:10:10 -0500 Subject: [PATCH] Contrib: Rename download_codecov_bash.sh to download_codecov --- .../utilities/{download_codecov_bash.sh => download_codecov} | 0 doc/developers/testsuite.html | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) rename contrib/utilities/{download_codecov_bash.sh => download_codecov} (100%) diff --git a/contrib/utilities/download_codecov_bash.sh b/contrib/utilities/download_codecov similarity index 100% rename from contrib/utilities/download_codecov_bash.sh rename to contrib/utilities/download_codecov diff --git a/doc/developers/testsuite.html b/doc/developers/testsuite.html index 56ffae53ae..41d8766f44 100644 --- a/doc/developers/testsuite.html +++ b/doc/developers/testsuite.html @@ -374,7 +374,7 @@ ctest <...> -S ../tests/run_coverage.cmake deal.II cdash site. In case you download the coverage report uploader for Codecov via - contrib/utilities/download_codecov_bash.sh, the coverage + contrib/utilities/download_codecov, the coverage report will also be uploaded to the Codecov dashboard. -- 2.39.5