From: Matthias Maier Date: Wed, 16 May 2018 20:10:10 +0000 (-0500) Subject: Contrib: Rename download_codecov_bash.sh to download_codecov X-Git-Tag: v9.1.0-rc1~1138^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8484c678490b3eb46cf82c2a2e65871f85647fbf;p=dealii.git Contrib: Rename download_codecov_bash.sh to download_codecov --- 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.