From a0c27de4d97f0955779d64e6ba76c5a993a4fec7 Mon Sep 17 00:00:00 2001
From: RichardG867 <richardg867@gmail.com>
Date: Mon, 8 Nov 2021 22:59:18 -0300
Subject: [PATCH] Fix Jenkins build type choice

---
 .jenkins/Jenkinsfile | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/.jenkins/Jenkinsfile b/.jenkins/Jenkinsfile
index 846c75a76..aa084ef49 100644
--- a/.jenkins/Jenkinsfile
+++ b/.jenkins/Jenkinsfile
@@ -39,8 +39,7 @@ pipeline {
 
 	parameters {
 		choice(name: 'BUILD_TYPE',
-		       choices: ['none', 'alpha', 'beta', 'release'],
-		       defaultValue: 'beta',
+		       choices: ['beta', 'none', 'alpha', 'beta', 'release'], // duplicated on purpose, first is default
 		       description: 'Build type to pass on to CMake. This may affect the UI icon and feature set.')
 	}