Run make distcheck instead of make && make check

The advantage being that this tests that all needed files end up in the
tarball and that make clean leaves nothing behind

diff --git a/.travis.yml b/.travis.yml
index 39aaf10..7029641 100644 (file)
--- a/.travis.yml
+++ b/.travis.yml
@@ -22,8 +22,7 @@ before_script: autoreconf -fi
 script:
   - if [[ "${TRAVIS_BRANCH}" == "coverity_scan" ]]; then exit 0; fi
   - ./configure
-  - make
-  - make check
+  - make distcheck
 
 addons:
   apt: