From da736b53d2d8e70fa06b79391282144e00a60143 Mon Sep 17 00:00:00 2001 From: keita Date: Thu, 25 Feb 2021 17:57:41 +0900 Subject: [PATCH] manage Jenkinsfile(#57) --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 ''' } }