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.orgosmith has submitted this change and it was merged. ( https://gerrit.osmocom.org/12274 ) Change subject: contrib/jenkins.sh: build and publish manuals ...................................................................... contrib/jenkins.sh: build and publish manuals Add new environment variables WITH_MANUALS and PUBLISH to control if the manuals should be built and uploaded. Describe all environment vars on top of the file. Related: OS#3385 Change-Id: I856e4bc71e1b648de5f27d4044aa60bd0b45e0f5 --- M contrib/jenkins.sh 1 file changed, 17 insertions(+), 0 deletions(-) Approvals: Jenkins Builder: Verified osmith: Looks good to me, but someone else must approve; Verified Pau Espin Pedrol: Looks good to me, approved diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index f886c21..aa02b28 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -1,4 +1,10 @@ #!/bin/sh +# jenkins build helper script for osmocom-bb. This is how we build on jenkins.osmocom.org +# +# environment variables: +# * WITH_MANUALS: build manual PDFs if set to "1" +# * PUBLISH: upload manuals after building if set to "1" (ignored without WITH_MANUALS = "1") +# set -ex @@ -35,4 +41,15 @@ make done +# Build and publish manuals +if [ "$WITH_MANUALS" = "1" ]; then + osmo-build-dep.sh osmo-gsm-manuals + make -C "$base/doc/manuals" + make -C "$base/doc/manuals" check + + if [ "$PUBLISH" = "1" ]; then + make -C "$base/doc/manuals" publish + fi +fi + osmo-clean-workspace.sh -- To view, visit https://gerrit.osmocom.org/12274 To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings Gerrit-Project: osmocom-bb Gerrit-Branch: master Gerrit-MessageType: merged Gerrit-Change-Id: I856e4bc71e1b648de5f27d4044aa60bd0b45e0f5 Gerrit-Change-Number: 12274 Gerrit-PatchSet: 1 Gerrit-Owner: osmith <osmith at sysmocom.de> Gerrit-Reviewer: Jenkins Builder (1000002) 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/20181212/ad75edbd/attachment.htm>