From d6da988ab486cdc7969657c58b124066c625156f Mon Sep 17 00:00:00 2001
From: Hanno Cornelius <68783915+jm-clius@users.noreply.github.com>
Date: Thu, 25 Nov 2021 17:01:45 +0100
Subject: [PATCH] Upped Jenkins make verbosity to 1 (#785)

---
 ci/Jenkinsfile.prs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/Jenkinsfile.prs b/ci/Jenkinsfile.prs
index 32714331a..62e5bee3e 100644
--- a/ci/Jenkinsfile.prs
+++ b/ci/Jenkinsfile.prs
@@ -17,7 +17,7 @@ pipeline {
     string(
       name: 'VERBOSITY',
       description: 'Makefile verbosity level.(0-2)',
-      defaultValue: params.VERBOSITY ?: '0'
+      defaultValue: params.VERBOSITY ?: '1'
     )
     string(
       name: 'MAKEFLAGS',