contrib/jenkins.sh: run "make {distcheck,maintainer-clean}"

Related: OS#3047
Change-Id: Ic277f37413cb338f4f9bdf4c5fc033d94a2cd5db
This commit is contained in:
Oliver Smith 2019-07-10 12:13:01 +02:00
parent 9aaee8c17b
commit 67dab2ba60
1 changed files with 2 additions and 0 deletions

View File

@ -5,3 +5,5 @@ set -ex
autoreconf --install --force
./configure
$MAKE $PARALLEL_MAKE
$MAKE distcheck
$MAKE maintainer-clean