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

Related: OS#4912
Change-Id: I22246f3ff105183a7a7a0279fd6c5cde9cd19952
This commit is contained in:
Oliver Smith 2021-01-13 13:15:54 +01:00
parent bd94b41fa8
commit f4d64cb98b
1 changed files with 0 additions and 1 deletions

View File

@ -35,7 +35,6 @@ osmo-build-dep.sh libosmo-abis
# Additional configure options and depends
CONFIG=""
if [ "$WITH_MANUALS" = "1" ]; then
osmo-build-dep.sh osmo-gsm-manuals
CONFIG="--enable-manuals"
fi