From 1114841febe48b4253c4abc21e0dc08c89a789ba Mon Sep 17 00:00:00 2001
From: Manuele Simi <manuele.simi@isti.cnr.it>
Date: Tue, 28 May 2019 09:38:19 -0400
Subject: [PATCH] Formalize the pipeline parameters.

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 9cf1ac2..6446f63 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,3 +1,9 @@
+parameters {
+        choice(choices: ['SNAPSHOT', 'RELEASE'], 
+		description: 'The type of artifacts the build is expected to generate', 
+		name: 'Type')
+}
+
 node {
      stage('build core components') {
         echo "will deploy artifacts of type: ${params.Type}"