diff --git a/Jenkins/Jenkinsfile-deb-pkg b/Jenkins/Jenkinsfile-deb-pkg
index 1ae9e2d..125f7d1 100644
--- a/Jenkins/Jenkinsfile-deb-pkg
+++ b/Jenkins/Jenkinsfile-deb-pkg
@@ -68,7 +68,7 @@ pipeline {
         }
         stage('Build') {
             steps {
-                dir (${env.BUILD_DIR}) {
+                dir ("${env.BUILD_DIR}") {
                     script {
                         sh """
                         src/update.py