diff --git a/Jenkinsfile b/Jenkinsfile
index 5a09e7c..d198d42 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -7,7 +7,7 @@ pipeline {
                     script: 'env'
                 )
                 build(
-                    job: '../tools-deployment'
+                    job: '../tools-deployment',
                     parameters: [
                         string(name: 'TOOLS_BRANCH': value: "${GIT_BRANCH}")
                     ]