manage Jenkinsfile

2021-03-03 10:06:00 +09:00
parent 3f6d4f3415
commit 948613c794
1 changed files with 1 additions and 1 deletions
@@ -26,7 +26,7 @@ pipeline {
        sh '''
         mkdir -p build
         cd build
-         cmake .. -G Ninja
+         cmake .. -G Ninja -DENABLE_TEST=TRUE
        '''
       }
      }