From d5427b882ec5db548bcd2d4818f54319823d6c79 Mon Sep 17 00:00:00 2001 From: weboko Date: Sat, 14 Jan 2023 02:55:15 +0100 Subject: [PATCH] copy other types of files --- ci/Jenkinsfile | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile index 833f99e..084404d 100644 --- a/ci/Jenkinsfile +++ b/ci/Jenkinsfile @@ -100,4 +100,22 @@ def copyExample(example=STAGE_NAME) { } catch (e) { echo "No HTML files found." } + + try { + sh "cp ${source}/*.json ${dest}/" + } catch (e) { + echo "No JSON files found." + } + + try { + sh "cp ${source}/*.png ${dest}/" + } catch (e) { + echo "No PNG files found." + } + + try { + sh "cp ${source}/*.ico ${dest}/" + } catch (e) { + echo "No ICO files found." + } }