From b4885db53ea2c7f3d856b5528c53f160d4eb3d77 Mon Sep 17 00:00:00 2001
From: nsubiron <nsubiron@cvc.uab.es>
Date: Fri, 6 Jul 2018 18:58:51 +0200
Subject: [PATCH] Archive profiler generated data in Jenkins build

---
 Jenkinsfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 73e9a75f8..a8d85281c 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -59,6 +59,7 @@ pipeline {
 
         always {
             junit 'Build/test-results/*.xml'
+            archiveArtifacts 'profiler.csv'
             archiveArtifacts 'Dist/*.tar.gz'
             deleteDir()
         }