]> Nishi Git Mirror - gwion.git/commitdiff
:wrench: Travis no valgrind
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Fri, 6 Dec 2019 23:28:59 +0000 (00:28 +0100)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Fri, 6 Dec 2019 23:28:59 +0000 (00:28 +0100)
.travis.yml

index 7a5ab1f621125b6c256d7524b7f2dd4a1bd47707..d6383df591d13a0da09ec490beb2b6a12a92ef09 100644 (file)
@@ -13,9 +13,6 @@ addons:
     notification_email: astor.jeremie@wanadoo.fr
     build_command: make
     branch_pattern: coverity_scan
-  apt:
-    packages:
-    - valgrind
 
 env:
   global:
@@ -39,16 +36,16 @@ compiler:
   - clang
 
 install:
+  - export VALGRIND="NO_VALGRIND";
+    export SEVERITY=3;
   - if [ $TRAVIS_JOB_NUMBER = ${TRAVIS_BUILD_NUMBER}.1  ]; then
       pip install --user --upgrade pip;
       pip install --user urllib3[secure];
       pip install --user cpp-coveralls;
     fi;
   - if [ $(uname) != "Linux" ] && [ $(uname) != "Darwin" ]; then 
-      choco install make;
       export BUILD_ON_WINDOWS=1;
-      export VALGRIND="NO_VALGRIND";
-      export SEVERITY=1;
+      choco install make;
       if [ $(CC) = "gcc" ];
       then export LDFLAGS="$LDLAGS -lpsapi -shared -fPIC -Wl,--export-all -Wl,--enable-auto-import";
       else export LDFLAGS="$LDLAGS -lpsapi -shared -fPIC";