Switch to Debug mode for faster pipeline builds

release/4.3a0
Frank Dellaert 2018-10-09 14:12:46 -04:00
parent a68ed656d2
commit fc8ca12f57
1 changed files with 1 additions and 1 deletions

View File

@ -10,6 +10,6 @@ pipelines:
script: # Modify the commands below to build your repository. script: # Modify the commands below to build your repository.
- mkdir build - mkdir build
- cd build - cd build
- cmake -DGTSAM_USE_SYSTEM_EIGEN=ON -DGTSAM_USE_EIGEN_MKL=OFF .. - cmake -DCMAKE_BUILD_TYPE=Debug -DGTSAM_USE_SYSTEM_EIGEN=ON -DGTSAM_USE_EIGEN_MKL=OFF ..
- make -j2 - make -j2
- make -j2 check - make -j2 check