From 6527e511599ecc1b168624fb22fdd96733e98eb8 Mon Sep 17 00:00:00 2001
From: Telesphoreo <me@telesphoreo.me>
Date: Thu, 7 Apr 2022 00:05:15 -0500
Subject: [PATCH] Use Gradle

---
 Jenkinsfile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index df5e29e..959af6e 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -3,7 +3,9 @@ pipeline {
     stages {
         stage('build') {
             steps {
-                sh './gradlew build javadoc publish --no-daemon'
+                withGradle {
+                    sh './gradlew build javadoc publish --no-daemon'
+                }
             }
         }
     }