Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/mono.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlexander Köplinger <alex.koeplinger@outlook.com>2019-08-02 22:07:06 +0300
committerAlexander Köplinger <alex.koeplinger@outlook.com>2019-08-02 22:07:06 +0300
commit2f21664fc2998f7a6ee1cf177031540316567858 (patch)
tree3c86471abdc1e1dfbb444a1c1404c27851a3b1e1 /scripts
parent0104cc6a8f6950f0a264ff18fdb15a6b8fe5fb3e (diff)
[ci] Remove the downloaded pr-files.txt
Diffstat (limited to 'scripts')
-rwxr-xr-xscripts/ci/run-jenkins.sh2
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/ci/run-jenkins.sh b/scripts/ci/run-jenkins.sh
index c1a10ad6bd5..3d37c5ebd34 100755
--- a/scripts/ci/run-jenkins.sh
+++ b/scripts/ci/run-jenkins.sh
@@ -45,6 +45,8 @@ if [[ ${CI_TAGS} == *'pull-request'* ]]; then
if [[ $CI_TAGS == *'csprojdiff'* ]]; then report_github_status "success" "Project Files Diff" "Skipped." || true; fi
exit 0
fi
+
+ rm pr-files.txt
fi
helix_set_env_vars