From 6875042372a829346e4407a43f8e438158c68fb5 Mon Sep 17 00:00:00 2001 From: Nicolas Arenas Date: Tue, 2 Sep 2025 16:31:50 +0200 Subject: [PATCH] refs #2659 Adds jenkins branch for testing --- Jenkins/Jenkinsfile-deb-pkg | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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