- sudo: required
- dist: trusty
- language: c
- script:
- - make $FLAGS
- - make check $FLAGS
- - make clean && git status --ignored --porcelain && test -z "$(git status --ignored --porcelain)"
- matrix:
- include:
- - os: linux
- env: FLAGS="CC=gcc"
- notifications:
- email: false
|