phone-side
/
osmocom-bb
mirror of https://gerrit.osmocom.org/osmocom-bb
9
0
Fork 0
Code Issues Releases Wiki Activity

contrib/jenkins: don't build osmo-gsm-manuals 

Related: OS#4912
Change-Id: If8f88bde0614547bb5c4f4f6e97fc20fcecd8a2c
# ---
changes/43/22143/1
Oliver Smith 2021-01-13 13:10:55 +01:00
parent 02830f3bd2
commit 4642ab6827
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
contrib/jenkins.sh
View File

@ -52,7 +52,6 @@ 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