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' } }