diff --git a/Jenkins/BETA-phabricator-linux/Jenkinsfile b/Jenkins/BETA-phabricator-linux/Jenkinsfile index f377fa3..a584506 100644 --- a/Jenkins/BETA-phabricator-linux/Jenkinsfile +++ b/Jenkins/BETA-phabricator-linux/Jenkinsfile @@ -154,7 +154,7 @@ pipeline { sh """ set -eu cp ${LLVM_DIR}/build/CMakeCache.txt . || : - cp ${LLVM_DIR}/test-results.xml . || : + cp ${LLVM_DIR}/build/test-results.xml . || : mkdir -p ${TARGET_DIR} cp * ${TARGET_DIR}