From 94d9ec141408dabdd32642b39a5a55775eb32805 Mon Sep 17 00:00:00 2001 From: RichardG867 Date: Sat, 13 Nov 2021 15:37:39 -0300 Subject: [PATCH] Another comment about Jenkins parameters for good measure --- .ci/Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.ci/Jenkinsfile b/.ci/Jenkinsfile index 8d7068a2d..e97830f05 100644 --- a/.ci/Jenkinsfile +++ b/.ci/Jenkinsfile @@ -56,7 +56,7 @@ pipeline { parameters { string(name: 'BUILD_TYPE', defaultValue: 'beta', /* !!! CHANGE HERE !!! for build type */ - description: 'Build type to pass on to CMake. This may affect the UI icon and feature set.') + description: "Build type to pass on to CMake. Don't change this, you should instead change the default value on .ci/Jenkinsfile") string(name: 'BRANCH', defaultValue: 'master', description: "Used internally to make sure all downstream builds use the same commit. Don't change this.")