sudo: false
language: c
compiler:
  - gcc
addons:
  apt:
    packages:
    - libssl-dev
    - libevent-dev
    - libexpat-dev
    - clang
script:
  - ./configure --enable-debug --disable-flto
  - make
  - make lint
  - make test
  - (cd testdata; ../testcode/mini_tdir.sh exe clang-analysis.tdir ; if grep -e "warning:" -e "error:" result.clang-analysis ; then exit 1; else exit 0; fi)

sudo: false
language: c
compiler:
  - gcc
addons:
  apt:
    packages:
    - libssl-dev
    - libevent-dev
    - libexpat-dev
    - clang
    - splint
script:
  - ./configure --enable-debug --disable-flto
  - make
  - make lint
  - make test
  - (cd testdata; ../testcode/mini_tdir.sh exe clang-analysis.tdir ; if grep -e "warning:" -e "error:" result.clang-analysis ; then exit 1; else exit 0; fi)

Add splint to run make lint.
Add splint to run make lint.


git-svn-id: e875384d7a5ebd9b2def38a8354dae1fda8e73bc@5172 be551aaa-1e26-0410-a405-d3ace91eadb9
