copy other types of files

2023-01-14 02:55:15 +01:00 · 2023-01-14 02:55:15 +01:00 · d5427b882e
parent 3f77b3e1a6
commit d5427b882e
1 changed files with 18 additions and 0 deletions
--- 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."
+  }
 }