From 60394ba11421c0952092ee75932d8955a8e70a13 Mon Sep 17 00:00:00 2001 From: Jakub Date: Mon, 27 Feb 2023 17:00:27 +0100 Subject: [PATCH] ci: add VERBOSITY parameter to Jenkinsfile (#4676) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit It will default to `V=0` since it's the first choice in the list. Signed-off-by: Jakub SokoĊ‚owski --- ci/Jenkinsfile | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile index 180cfa490..2e421f3a2 100644 --- a/ci/Jenkinsfile +++ b/ci/Jenkinsfile @@ -8,6 +8,11 @@ pipeline { description: 'Label for targetted CI slave host: linux/macos', defaultValue: params.AGENT_LABEL ?: getAgentLabel(), ) + choice( + name: 'VERBOSITY', + description: 'Value for the V make flag to increase log verbosity', + choices: [0, 1, 2] + ) } options { @@ -37,7 +42,7 @@ pipeline { environment { NPROC = Runtime.getRuntime().availableProcessors() - MAKEFLAGS = "-j${env.NPROC}" + MAKEFLAGS = "V=${params.VERBOSITY} -j${env.NPROC}" } stages {