From c377a80d0d419a4429b752e06f1e22ae3f7272be Mon Sep 17 00:00:00 2001
From: Dany LE <xsang.le@gmail.com>
Date: Fri, 16 Sep 2022 12:44:02 +0200
Subject: [PATCH] export dts to build dir

---
 Jenkinsfile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 368aca7..b03deae 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -54,11 +54,12 @@ pipeline{
              [ -d "$buildir" ] && rm -rf "$buildir"
             export BUILDDIR="$WORKSPACE/$buildir/opt/www/htdocs/os"
             make release
+            cp -rf d.ts "$WORKSPACE/$buildir"
           '''
         script {
             // only useful for any master branch
             //if (env.BRANCH_NAME =~ /^master/) {
-            archiveArtifacts artifacts: 'd.ts/, build/', fingerprint: true
+            archiveArtifacts artifacts: 'build/', fingerprint: true
             //}
         }
       }