From 77ec240d0ca2cfb4d69d3ca1c1c2ef535b650556 Mon Sep 17 00:00:00 2001
From: =?utf8?q?David=20=E2=80=98Bombe=E2=80=99=20Roden?=
 <bombe@freenetproject.org>
Date: Fri, 22 Nov 2024 21:50:22 +0100
Subject: [PATCH] =?utf8?q?=E2=9C=8F=EF=B8=8F=20Fix=20typo=20in=20Java=2017?=
 =?utf8?q?=20build?=
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index e11ea01..7360cda 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -44,7 +44,7 @@ pipeline {
             }
             steps {
                 catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') {
-                sh './mvnw clean verity'
+                sh './mvnw clean verify'
                 }
             }
         }
-- 
2.7.4