From 97521d893e27ad8ec7b2307e2056c10a525536a3 Mon Sep 17 00:00:00 2001
From: Dany LE <xsang.le@gmail.com>
Date: Tue, 2 Aug 2022 09:07:35 +0200
Subject: [PATCH] Update Jenkinsfile

---
 Jenkinsfile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index d2eb770..dcb9644 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -43,12 +43,12 @@ pipeline{
             make
             DESTDIR=$WORKSPACE/build make install
           '''
-        //script {
+        script {
             // only useful for any master branch
             //if (env.BRANCH_NAME =~ /^master/) {
-            // archiveArtifacts artifacts: 'build/', fingerprint: true
+            archiveArtifacts artifacts: 'build/', fingerprint: true
             //}
-        //}
+        }
       }
     }
   }