handling missing diff.json
This commit is contained in:
parent
65a9b864d2
commit
e2725013d4
1 changed files with 6 additions and 1 deletions
7
Jenkins/Phabricator-pipeline/Jenkinsfile
vendored
7
Jenkins/Phabricator-pipeline/Jenkinsfile
vendored
|
@ -75,7 +75,12 @@ pipeline {
|
||||||
// copy console log to result folder
|
// copy console log to result folder
|
||||||
sh "wget -qO console-log.txt http://jenkins-ui.jenkins.svc.cluster.local:8080/job/${JOB_BASE_NAME}/${BUILD_NUMBER}/consoleText"
|
sh "wget -qO console-log.txt http://jenkins-ui.jenkins.svc.cluster.local:8080/job/${JOB_BASE_NAME}/${BUILD_NUMBER}/consoleText"
|
||||||
// keep a copy of the answer from Phabricator for debugging
|
// keep a copy of the answer from Phabricator for debugging
|
||||||
sh "cp ${DIFF_JSON} ."
|
sh """
|
||||||
|
set -eu
|
||||||
|
if [ -f "${DIFF_JSON}" ]; then
|
||||||
|
cp ${DIFF_JSON} .
|
||||||
|
fi
|
||||||
|
"""
|
||||||
}
|
}
|
||||||
/// send results to Phabricator
|
/// send results to Phabricator
|
||||||
sh '''
|
sh '''
|
||||||
|
|
Loading…
Reference in a new issue