From 948613c7944ac26ed354fc2ac2952d11e2557e02 Mon Sep 17 00:00:00 2001 From: keita Date: Wed, 3 Mar 2021 10:06:00 +0900 Subject: [PATCH] manage Jenkinsfile --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index b7f1729..4cbdd15 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -26,7 +26,7 @@ pipeline { sh ''' mkdir -p build cd build - cmake .. -G Ninja + cmake .. -G Ninja -DENABLE_TEST=TRUE ''' } }