From 2d0ad9bc35ea0290f058186bc56a713c3b3a1311 Mon Sep 17 00:00:00 2001
From: Manuele Simi <manuele.simi@isti.cnr.it>
Date: Tue, 11 Jun 2019 15:01:08 -0400
Subject: [PATCH] Add gcube release number to the release filename.

---
 pom.xml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index e12efca..1e01b4c 100644
--- a/pom.xml
+++ b/pom.xml
@@ -168,6 +168,9 @@
 
 		<profile>
 			<id>jenkins-releases</id>
+			<properties>
+				<gcube.release.number>${env.GCUBE_RELEASE_NUMBER}</gcube.release.number>
+			</properties>
 			<activation>
 				<activeByDefault>false</activeByDefault>
 				<property>
@@ -231,7 +234,7 @@
 						</configuration>
 					</plugin>
 				</plugins>
-				<finalName>${project.artifactId}-${project.version}-${buildNumber}</finalName>
+				<finalName>${project.artifactId}-${project.version}-${gcube.release.number}-${buildNumber}</finalName>
 			</build>
 		</profile>