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

Related: OS#3047
Change-Id: I0c7cd8f8b2a3821e5c55fc84b24eca5e199ebbd8
changes/21/14721/1
Oliver Smith 3 years ago
parent b5ae1af602
commit 284c25697d
  1. 2
      contrib/jenkins.sh

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

Loading…
Cancel
Save