Change in osmo-gsm-manuals[master]: jenkins.sh: run 'make distcheck'

This is merely a historical archive of years 2008-2021, before the migration to mailman3.

A maintained and still updated list archive can be found at https://lists.osmocom.org/hyperkitty/list/gerrit-log@lists.osmocom.org/.

osmith gerrit-no-reply at lists.osmocom.org
Wed Nov 21 15:12:57 UTC 2018


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 <osmith at sysmocom.de>
Gerrit-Reviewer: Jenkins Builder (1000002)
Gerrit-Reviewer: Neels Hofmeyr <nhofmeyr at sysmocom.de>
Gerrit-Reviewer: Pau Espin Pedrol <pespin at sysmocom.de>
Gerrit-Reviewer: osmith <osmith at sysmocom.de>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.osmocom.org/pipermail/gerrit-log/attachments/20181121/1d61d5d9/attachment.htm>


More information about the gerrit-log mailing list