refs #2659 Adds jenkins branch for testing

2025-09-02 16:31:50 +02:00 · 2025-09-02 16:31:50 +02:00 · 6875042372
parent a27ed86d0d
commit 6875042372
1 changed files with 1 additions and 1 deletions
--- 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