Change in ...osmo-iuh[master]: jenkins: Enable manual publishing and building

daniel gerrit-no-reply at lists.osmocom.org
Tue Jul 30 09:16:46 UTC 2019


daniel has uploaded this change for review. ( https://gerrit.osmocom.org/c/osmo-iuh/+/14991


Change subject: jenkins: Enable manual publishing and building
......................................................................

jenkins: Enable manual publishing and building

Related: OS#2589
Change-Id: Ic7437daeab0b07d16fd71ca3881cb31bab7b1925
---
M contrib/jenkins.sh
1 file changed, 12 insertions(+), 2 deletions(-)



  git pull ssh://gerrit.osmocom.org:29418/osmo-iuh refs/changes/91/14991/1

diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index 5754f2c..16f61b7 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -25,6 +25,12 @@
 # the asn1c binary is used by the 'regen' target below
 osmo-build-dep.sh asn1c aper-prefix
 
+CONFIG=""
+if [ "$WITH_MANUALS" = "1" ]; then
+	osmo-build-dep.sh osmo-gsm-manuals
+	CONFIG="--enable-manuals"
+fi
+
 set +x
 echo
 echo
@@ -34,7 +40,7 @@
 set -x
 
 autoreconf --install --force
-./configure --enable-sanitize
+./configure --enable-sanitize $CONFIG
 
 # Verify that checked-in asn1 code is identical to regenerated asn1 code
 PATH="$inst/bin:$PATH" $MAKE $PARALLEL_MAKE -C src regen
@@ -55,6 +61,10 @@
   || cat-testlogs.sh
 $MAKE distcheck \
   || cat-testlogs.sh
-$MAKE maintainer-clean
 
+if [ "$WITH_MANUALS" = "1" ] && [ "$PUBLISH" = "1" ]; then
+	make -C "$base/doc/manuals" publish
+fi
+
+$MAKE maintainer-clean
 osmo-clean-workspace.sh

-- 
To view, visit https://gerrit.osmocom.org/c/osmo-iuh/+/14991
To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings

Gerrit-Project: osmo-iuh
Gerrit-Branch: master
Gerrit-Change-Id: Ic7437daeab0b07d16fd71ca3881cb31bab7b1925
Gerrit-Change-Number: 14991
Gerrit-PatchSet: 1
Gerrit-Owner: daniel <dwillmann at sysmocom.de>
Gerrit-MessageType: newchange
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.osmocom.org/pipermail/gerrit-log/attachments/20190730/4df69049/attachment.html>


More information about the gerrit-log mailing list