From 7050e24eee4e5f3b3a7c03da07e500cc248ec284 Mon Sep 17 00:00:00 2001
From: jm-clius <jm-clius@users.noreply.github.com>
Date: Thu, 25 Nov 2021 16:37:15 +0000
Subject: [PATCH] deploy: d6da988ab486cdc7969657c58b124066c625156f

---
 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',