travis-ci: check that all build artifacts are .gitignore-d

diff --git a/ci/run-linux32-docker.sh b/ci/run-linux32-docker.sh
index 870a41246310963383754289d514d15faf8b839f..4f191c5bb12185251f98a2d54422640cb19b8be1 100755 (executable)
--- a/ci/run-linux32-docker.sh
+++ b/ci/run-linux32-docker.sh
@@ -23,4 +23,6 @@ docker run \
        daald/ubuntu32:xenial \
        /usr/src/git/ci/run-linux32-build.sh $(id -u $USER)
 
+check_unignored_build_artifacts
+
 save_good_tree