Unverified Commit 39bfffcc authored by Sofia Celi's avatar Sofia Celi
Browse files

Remove valgrind from CI

parent 0711a161
......@@ -6,48 +6,25 @@ matrix:
- os: linux
dist: trusty
compiler: clang
env: T=normal
- os: linux
dist: trusty
compiler: gcc
env: T=normal
- os: linux
dist: precise
compiler: clang
env: T=normal
- os: linux
dist: precise
compiler: gcc
env: T=normal
- os: linux
dist: trusty
compiler: gcc
env: T=valgrind-check
allow_failures:
- os: linux
dist: trusty
compiler: gcc
env: T=valgrind-check
sudo: required
before_install:
- sudo apt-get update --quiet --assume-yes
- sudo apt-get install splint --quiet --assume-yes
- if [[ "$T" = "valgrind-check" ]]; then sudo apt-get install valgrind --quiet --assume-yes; fi
before_script: ./autogen.sh
script:
- |
if [ "$T" = "normal" ]; then
./autogen.sh
./configure --disable-shared
make
make test
fi
- |
if [ "$T" = "valgrind-check" ]; then
./autogen.sh
./configure --disable-shared
make ci
fi
- if [ "$T" = "normal" ]; then
- ./autogen.sh
- ./configure --disable-shared
- make
- make test
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment