diff --git a/jenkinsfile b/jenkinsfile
index 5688cba2f..3d03f2f9a 100644
--- a/jenkinsfile
+++ b/jenkinsfile
@@ -6,7 +6,7 @@ pipeline {
     triggers {
         pollSCM('* * * * *')
     }
-    tool {
+    tools {
         jdk 'JDK-17'
     }
     stages {