From aec8d2b3d8bc8de681d46c7e1feff206eefea147 Mon Sep 17 00:00:00 2001 From: Oliver Smith Date: Mon, 19 Nov 2018 11:55:46 +0100 Subject: jenkins.sh: run 'make distcheck' Everything is in place for 'make distcheck' now. (moving manuals to project repositories 18/19) Related: OS#3385 Change-Id: Ie31fba3d1afd31c25489ce08169101d9ed9de536 --- contrib/jenkins.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index 1fd19d1..626160e 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -10,6 +10,7 @@ autoreconf -fi ./configure $MAKE $PARALLEL_MAKE $MAKE $PARALLEL_MAKE check +$MAKE $PARALLEL_MAKE distcheck if [ "x$publish" = "x--publish" ]; then mkdir out/ -- cgit v1.2.3