osmith has submitted this change and it was merged. ( https://gerrit.osmocom.org/11846 )
Change subject: jenkins.sh: run 'make distcheck' ...................................................................... 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 --- M contrib/jenkins.sh 1 file changed, 1 insertion(+), 0 deletions(-) Approvals: Jenkins Builder: Verified Pau Espin Pedrol: Looks good to me, approved Neels Hofmeyr: Looks good to me, approved 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 @@ ./configure $MAKE $PARALLEL_MAKE $MAKE $PARALLEL_MAKE check +$MAKE $PARALLEL_MAKE distcheck if [ "x$publish" = "x--publish" ]; then mkdir out/ -- To view, visit https://gerrit.osmocom.org/11846 To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings Gerrit-Project: osmo-gsm-manuals Gerrit-Branch: master Gerrit-MessageType: merged Gerrit-Change-Id: Ie31fba3d1afd31c25489ce08169101d9ed9de536 Gerrit-Change-Number: 11846 Gerrit-PatchSet: 3 Gerrit-Owner: osmith <[email protected]> Gerrit-Reviewer: Jenkins Builder (1000002) Gerrit-Reviewer: Neels Hofmeyr <[email protected]> Gerrit-Reviewer: Pau Espin Pedrol <[email protected]> Gerrit-Reviewer: osmith <[email protected]>
