From 6024dd5dfa981e667bb150e9bcdcab58cdf0bcd0 Mon Sep 17 00:00:00 2001
From: Luca Boccassi <luca.boccassi@gmail.com>
Date: Sun, 6 Mar 2016 18:05:28 +0000
Subject: [PATCH] Problem: ci_build does not fully test build system

Solution: run make dist-check, which will run additional tests,
including making sure that the library is installable and the
distributable tarball is buildable, along with the usual make and
make check.
---
 ci_build.sh | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/ci_build.sh b/ci_build.sh
index acab6bce..9e9f834a 100755
--- a/ci_build.sh
+++ b/ci_build.sh
@@ -27,9 +27,8 @@ if [ $BUILD_TYPE == "default" ]; then
     (
         ./autogen.sh &&
         ./configure "${CONFIG_OPTS[@]}" &&
-        make &&
-        make VERBOSE=1 check &&
-        make install
+        export DISTCHECK_CONFIGURE_FLAGS="${CONFIG_OPTS[@]}" &&
+        make VERBOSE=1 distcheck
     ) || exit 1
 else
     cd ./builds/${BUILD_TYPE} && ./ci_build.sh