diff --git a/Jenkinsfile b/Jenkinsfile
index 0eaabd7..3906907 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,14 +1,16 @@
 pipeline {
     agent any
 	parameters {
-        choice(
+        /*choice(
             choices: 'ALL\nETS\nSPS\nALL\nNONE',
             description: 'Creare Installers? [ALL|ETS|SPS|NONE]',
-            name: 'MAKE_INST')
+            name: 'MAKE_INST')*/
+		booleanParam(defaultValue: true, description: 'Make installers?', name: 'makeInst')
     }
     stages {
         stage('Checkout') {
             steps {
+                echo "flag: ${params.makeInst}"
 				/* build delle SteamWare libs! */
 				/*build 'SteamWare/SteamWareLib'*/ 
 				/* copio le libs...*/