diff --git a/Jenkinsfile b/Jenkinsfile index e579957..5a9e42f 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -56,8 +56,7 @@ pipeline { // build everything withVenv { withTools(params.TOOLS_VERSION) { - sh "build_hil_tests.sh" - } + sh "build_hil_tests.sh" } } } @@ -70,3 +69,4 @@ pipeline { } } // stages } +