Added tools

2020-02-14 13:53:46 +01:00
parent ed3d728c02
commit d06dfde187
16 changed files with 56 additions and 38 deletions
@@ -22,7 +22,7 @@ before_install:
 - git checkout 4.1.0
 - cmake -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=/usr && sudo make install
 - popd
-script: cmake . && make && make test
+script: cmake -DCMAKE_BUILD_TYPE=Release . && make && make test
 env:
  global:
    - MAKEFLAGS="-j 2"