2016-12-24 01:56:15 +01:00
|
|
|
language: C
|
|
|
|
|
dist: trusty
|
|
|
|
|
sudo: true
|
|
|
|
|
|
|
|
|
|
before_install:
|
|
|
|
|
- sudo apt-get update -qq
|
2020-08-20 14:32:16 +01:00
|
|
|
- sudo apt-get install --assume-yes valgrind
|
2016-12-24 01:56:15 +01:00
|
|
|
|
|
|
|
|
script:
|
|
|
|
|
- ./autogen.sh
|
|
|
|
|
- ./configure
|
|
|
|
|
- make
|
|
|
|
|
- make test
|
2020-08-11 15:49:18 +01:00
|
|
|
- make clean
|
2016-12-24 01:56:15 +01:00
|
|
|
- ./configure --enable-debug --enable-transparent --enable-reverse
|
|
|
|
|
- make
|
|
|
|
|
- make test
|
|
|
|
|
- make valgrind-test
|
