From 120910c882e6f3ccd3c21f7b5c41be8a734ed404 Mon Sep 17 00:00:00 2001 From: Oliver Smith Date: Wed, 13 Jan 2021 13:07:36 +0100 Subject: contrib/jenkins: don't build osmo-gsm-manuals Related: OS#4912 Change-Id: If655798bb47c332f7decb74ed19524b3014f69b4 --- contrib/jenkins.sh | 1 - 1 file changed, 1 deletion(-) (limited to 'contrib') diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index 11e42516c..0b978dca2 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -39,7 +39,6 @@ osmo-build-dep.sh osmo-mgw # Additional configure options and depends CONFIG="" if [ "$WITH_MANUALS" = "1" ]; then - osmo-build-dep.sh osmo-gsm-manuals CONFIG="--enable-manuals" fi -- cgit v1.2.3