From 9aacfdcf3e266981a0799a043cd6ae540b2eddad Mon Sep 17 00:00:00 2001 From: weboko Date: Wed, 11 Jan 2023 22:21:56 +0100 Subject: [PATCH] split cp command and test if files exist before copying them --- ci/Jenkinsfile | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile index f18db89..52893cd 100644 --- a/ci/Jenkinsfile +++ b/ci/Jenkinsfile @@ -78,6 +78,11 @@ def buildExample(example=STAGE_NAME) { } def copyExample(example=STAGE_NAME) { - sh "mkdir -p build/docs/${example}" - sh "cp examples/${example}/*.\\(js|css|html\\) build/docs/${example}/" + def source = "examples/${example}" + def dest = "build/docs/${example}" + + sh "mkdir -p ${dest}" + sh "[ -e ${source}/*.js] && cp ${source}/*.js ${dest}/" + sh "[ -e ${source}/*.css] && cp ${source}/*.css ${dest}/" + sh "[ -e ${source}/*.html] && cp ${source}/*.html ${dest}/" }