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
Tue Nov 20 16:14:21 UTC 2018


osmith has uploaded this change for review. ( 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(-)



  git pull ssh://gerrit.osmocom.org:29418/osmo-gsm-manuals refs/changes/46/11846/1

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: newchange
Gerrit-Change-Id: Ie31fba3d1afd31c25489ce08169101d9ed9de536
Gerrit-Change-Number: 11846
Gerrit-PatchSet: 1
Gerrit-Owner: osmith <osmith at sysmocom.de>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.osmocom.org/pipermail/gerrit-log/attachments/20181120/a8ae49b2/attachment.htm>


More information about the gerrit-log mailing list