diff options
Diffstat (limited to 'contrib/jenkins.sh')
| -rwxr-xr-x | contrib/jenkins.sh | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index 5bab5bf13..708397619 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -1,4 +1,13 @@ #!/bin/sh -ex +# jenkins build helper script for openbsc. This is how we build on jenkins.osmocom.org +# +# environment variables: +# * IU: configure 3G support (values: "--enable-iu", "--disable-iu") +# * MGCP: configure transcoding for MGCP (values: "--enable-mgcp-transcoding", "--disable-mgcp-transcoding") +# * SMPP: configure the SMPP interface (values: "--enable-smpp", "--disable-smpp") +# * WITH_MANUALS: build manual PDFs if set to "1" +# * PUBLISH: upload manuals after building if set to "1" (ignored without WITH_MANUALS = "1") +# osmo-clean-workspace.sh @@ -59,4 +68,24 @@ fi . osmo-build.sh +# Build and publish manuals +if [ "$WITH_MANUALS" = "1" ]; then + # Build all manuals first + osmo-build-dep.sh osmo-gsm-manuals + for dir in "$base"/manuals/*/; do + make -C "$dir" + done + + # Run 'make check' for the OsmoNITB manuals. + # The other dirs only have VTY references, so there is no 'make check' target for them. + make -C "$base/manuals/OsmoNITB" check + + # Publish all at once + if [ "$PUBLISH" = "1" ]; then + for dir in "$base"/manuals/*/; do + make -C "$dir" publish + done + fi +fi + osmo-clean-workspace.sh |