From ce5ef4f226eae47679f9958a6f9126a660de12b2 Mon Sep 17 00:00:00 2001
From: Ruben Kerkhof <ruben@rubenkerkhof.com>
Date: Tue, 12 Feb 2019 11:13:13 +0100
Subject: [PATCH] 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
---
 .travis.yml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 39aaf10b..7029641c 100644
--- 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:
-- 
2.11.0