diff --git a/Jenkinsfile b/Jenkinsfile index 3321db3..8c23a52 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -24,7 +24,7 @@ pipeline { sh ''' mkdir -p build cd build - cmake .. -G ninja + cmake .. -G Ninja ''' } }