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

Related: OS#4912
Change-Id: Idb179c5618797bb245fad857fa79242c43d539a2
This commit is contained in:
Oliver Smith
2021-01-13 13:14:39 +01:00
parent 2c66c15227
commit a835fa85d7

View File

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