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

Related: OS#4912
Change-Id: I8ab46680f9b753408e7ac6ef1635f997747325e5
This commit is contained in:
Oliver Smith 2021-01-13 13:06:39 +01:00
parent cd30a40be1
commit 6351974464
1 changed files with 0 additions and 1 deletions

View File

@ -43,7 +43,6 @@ build_bts() {
conf_flags="$*"
if [ "$WITH_MANUALS" = "1" ]; then
conf_flags="$conf_flags --enable-manuals"
osmo-build-dep.sh osmo-gsm-manuals
export PATH="$inst/bin:$PATH"
fi