From ddf55fd308e50560a7ea9771b2735c7414c58fc5 Mon Sep 17 00:00:00 2001
From: Manuele Simi <manuele.simi@isti.cnr.it>
Date: Fri, 25 Oct 2019 14:32:49 -0400
Subject: [PATCH] Separate filename from packaging.

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 0a75f05..060b6cd 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -125,7 +125,7 @@ pipeline {
                 echo "#Release ${GCUBE_RELEASE_NUMBER}" >> ${AGENT_ROOT_FOLDER}/build_commits.csv
                 date=`date`
                 echo "#StartTime ${date}" >> ${AGENT_ROOT_FOLDER}/build_commits.csv
-                echo -e "GroupID,ArtifactID,Version,SCM URL,Branch,Build Number,Distribution URL,Filename" >> ${AGENT_ROOT_FOLDER}/build_commits.csv
+                echo -e "GroupID,ArtifactID,Version,SCM URL,Branch,Build Number,Distribution URL,Filename,Packaging" >> ${AGENT_ROOT_FOLDER}/build_commits.csv
                 '''
             }
         }