From 3dee24cdfc7a971575c61e2ab82dee3e5315341a Mon Sep 17 00:00:00 2001 From: Uwe Jakobeit Date: Mon, 30 Mar 2026 12:01:19 +0200 Subject: [PATCH] Jenkinsfile fixed --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index b62b368..84f0655 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -25,7 +25,7 @@ pipeline { // Build the project using the generated files //sh 'cmake --build build' echo "Build project" - ./localbuild.bat + sh './localbuild.sh' } }